Sun, 11 Sep 2011 19:52:09 +0200 | wenzelm | explicit choice of interface; | file | diff | annotate |
Fri, 28 Jan 2011 14:20:41 +0100 | wenzelm | enforce STIXGeneral, which is preferred by PG 4.1; | file | diff | annotate |
Fri, 28 Jan 2011 13:19:21 +0100 | wenzelm | default UTF-8 locale, to work with funny base directory (e.g. Chinese); | file | diff | annotate |
Fri, 28 Jan 2011 11:19:12 +0100 | wenzelm | enforce fonts; | file | diff | annotate |
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 |