Mon, 19 Sep 2011 12:58:52 +0200 |
imitate Apple in setting initial shell PATH -- especially relevant for MacTeX, MacPorts etc.;
|
file | diff | annotate |
Sat, 17 Sep 2011 16:00:54 +0200 |
ignore OUTPUT to avoid spam -- jEdit menu "Troubleshooting / Activity Log" should be sufficient;
|
file | diff | annotate |
Sun, 11 Sep 2011 20:19:20 +0200 |
persistent ISABELLE_INTERFACE_CHOICE;
|
file | diff | annotate |
Sun, 11 Sep 2011 19:52:09 +0200 |
explicit choice of interface;
|
file | diff | annotate |
Fri, 28 Jan 2011 14:20:41 +0100 |
enforce STIXGeneral, which is preferred by PG 4.1;
|
file | diff | annotate |
Fri, 28 Jan 2011 13:19:21 +0100 |
default UTF-8 locale, to work with funny base directory (e.g. Chinese);
|
file | diff | annotate |
Fri, 28 Jan 2011 11:19:12 +0100 |
enforce fonts;
|
file | diff | annotate |
Tue, 18 Jan 2011 21:33:07 +0100 |
isabelle jedit as alternative;
|
file | diff | annotate |
Sat, 28 Nov 2009 15:54:25 +0100 |
allow spaces within PROOFGENERAL_EMACS;
|
file | diff | annotate |
Fri, 03 Jul 2009 16:10:49 +0200 |
separate setup for App1;
|
file | diff | annotate | base |