| Fri, 21 May 2010 23:48:48 +0200 | wenzelm | more brackets -- unaligned to prevent odd auto-indentation; | file | diff | annotate |
| Mon, 21 Dec 2009 21:49:43 +0100 | wenzelm | tuned keywords; | file | diff | annotate |
| Sun, 11 Jan 2009 21:52:40 +0100 | wenzelm | unified with dynamic version; | file | diff | annotate |
| Sat, 20 Dec 2008 16:04:17 +0100 | wenzelm | basic isabelle mode setup; | file | diff | annotate |