Admin/MacOS/App1/script
Fri, 28 Jan 2011 11:19:12 +0100 wenzelm enforce fonts;
Tue, 18 Jan 2011 21:33:07 +0100 wenzelm isabelle jedit as alternative;
Sat, 28 Nov 2009 15:54:25 +0100 wenzelm allow spaces within PROOFGENERAL_EMACS;
Fri, 03 Jul 2009 16:10:49 +0200 wenzelm separate setup for App1;
less more (0) tip