| Tue, 27 Sep 2011 14:17:40 +0200 |
wenzelm |
retain output, which is required for non-existent JRE, for example (cf. b455e4f42c04);
|
file |
diff |
annotate
|
| Mon, 19 Sep 2011 12:58:52 +0200 |
wenzelm |
imitate Apple in setting initial shell PATH -- especially relevant for MacTeX, MacPorts etc.;
|
file |
diff |
annotate
|
| Sat, 17 Sep 2011 16:00:54 +0200 |
wenzelm |
ignore OUTPUT to avoid spam -- jEdit menu "Troubleshooting / Activity Log" should be sufficient;
|
file |
diff |
annotate
|
| Sun, 11 Sep 2011 20:19:20 +0200 |
wenzelm |
persistent ISABELLE_INTERFACE_CHOICE;
|
file |
diff |
annotate
|
| 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
|