Tue, 18 Jan 2011 21:33:07 +0100 | wenzelm | isabelle jedit as alternative; | file | diff | annotate |
Sat, 28 Nov 2009 15:54:25 +0100 | wenzelm | allow spaces within PROOFGENERAL_EMACS; | file | diff | annotate |
Fri, 03 Jul 2009 16:10:49 +0200 | wenzelm | separate setup for App1; | file | diff | annotate | base |