Moritz Dieing 81b74bd92d Use classic drawer toggle ... Use classic drawer toggle since its described in help content now.		2021-02-13 15:03:49 +01:00
..
main	Use classic drawer toggle	2021-02-13 15:03:49 +01:00
proof-tree.css	Tree min height of 75%	2021-02-10 16:46:34 +01:00
type-inference.css	Fix info dialog close button position	2021-02-11 12:28:32 +01:00
unification.css	Increase size of SVG to 100%	2021-02-03 15:10:51 +01:00