Moritz Dieing 288e954f3e Suggestion for design of help dialog		2021-02-13 01:40:58 +01:00
..
main	Suggestion for design of help dialog	2021-02-13 01:40:58 +01:00
proof-tree.css
type-inference.css	Fix info dialog close button position	2021-02-11 12:28:32 +01:00
unification.css