| Sun, 09 Oct 2011 15:46:06 +0200 | wenzelm | updated ISABELLE_HOME_USER; | changeset | files |
| Tue, 04 Oct 2011 14:51:51 +0200 | wenzelm | more explicit check of Java executable -- relevant for Linux x86/x86_64 mismatch and absence on Mac OS Lion; | changeset | files |
| Mon, 03 Oct 2011 11:16:51 +0200 | wenzelm | Added tag Isabelle2011-1-RC2 for changeset a45121ffcfcb | changeset | files |
| Mon, 03 Oct 2011 11:14:19 +0200 | wenzelm | some amendments due to Jean Pichon; | changeset | files |