src/Tools/jEdit/dist-template/modes/isabelle.xml
Fri, 21 May 2010 23:48:48 +0200 wenzelm more brackets -- unaligned to prevent odd auto-indentation;
Mon, 21 Dec 2009 21:49:43 +0100 wenzelm tuned keywords;
Sun, 11 Jan 2009 21:52:40 +0100 wenzelm unified with dynamic version;
Sat, 20 Dec 2008 16:04:17 +0100 wenzelm basic isabelle mode setup;
less more (0) tip