| Tue, 10 Sep 2013 11:57:53 +0200 |
more portable hash-bang;
|
file | diff | annotate |
| Thu, 10 Jan 2013 15:45:27 +0100 |
prefer system build mode in main application wrappers, to produce heaps insided distribution directory;
|
file | diff | annotate |
| Wed, 09 Jan 2013 18:35:51 +0100 |
eliminated choosefrom -- power-users may edit global defaults within script;
|
file | diff | annotate |
| Mon, 06 Aug 2012 15:01:15 +0100 |
switching from Emacs.app to Aquamacs.app
|
file | diff | annotate |
| Wed, 01 Aug 2012 12:14:56 +0200 |
no longer force STIX fonts onto the user -- NB: STIXv1.0.0 is outdated and Mac OS 10.7 ships its own copy of STIX already;
|
file | diff | annotate |
| Tue, 27 Sep 2011 14:17:40 +0200 |
retain output, which is required for non-existent JRE, for example (cf. b455e4f42c04);
|
file | diff | annotate |
| 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 |