| Tue, 14 Apr 2009 18:18:15 +0200 | wenzelm | more robust handling of emacs options -- this is not necessarily an Isabelle process environment yet; | file | diff | annotate |
| Tue, 14 Apr 2009 17:47:24 +0200 | wenzelm | actually invoke ISABELLE_TOOL; | file | diff | annotate |
| Sat, 27 Dec 2008 11:54:08 +0100 | wenzelm | PATH: /opt/local/bin is back again (required for latex etc.); | file | diff | annotate |
| Mon, 22 Dec 2008 14:40:27 +0100 | wenzelm | more sophisticated MacOS interface script (mostly for Carbon Emacs); | file | diff | annotate |
| Wed, 17 Dec 2008 14:39:38 +0100 | wenzelm | basic setup for MacOS application bundle; | file | diff | annotate |