lib/jedit/isabelle.xml
Mon, 08 Oct 2007 18:13:03 +0200 wenzelm updated;
Sun, 07 Oct 2007 13:52:16 +0200 wenzelm tuned generated comment;
Sun, 07 Oct 2007 13:32:17 +0200 wenzelm isabelle mode for jEdit;
less more (0) tip