lib/jedit/isabelle.xml
Sun, 07 Oct 2007 13:32:17 +0200 wenzelm isabelle mode for jEdit;
less more (0) tip