src/Tools/jEdit/src/modes/isabelle-session.xml
Wed, 08 Jun 2011 22:06:05 +0200 wenzelm simplified directory structure;
less more (0) tip