| Wed, 30 Sep 2015 23:37:20 +0200 | wenzelm | proper isabelle.root for bootstrap; | file | diff | annotate |
| Fri, 27 Jun 2014 11:30:42 +0200 | wenzelm | sane environment defaults for Mac OS X, based on former App1/script -- e.g. relevant for MacTeX PATH; | file | diff | annotate |
| Mon, 11 Nov 2013 21:28:08 +0100 | wenzelm | simplified App template; | file | diff | annotate | base |