| Sun, 09 Oct 2011 17:06:19 +0200 | wenzelm | Added tag Isabelle2011-1 for changeset 76fef3e57004 | changeset | files |
| Sun, 09 Oct 2011 16:47:58 +0200 | wenzelm | tuned; | changeset | files |
| 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 |
| Thu, 29 Sep 2011 09:37:59 +0200 | traytel | correct coercion generation in case of unknown map functions | changeset | files |
| Wed, 28 Sep 2011 13:52:14 +0200 | wenzelm | proper platform_file_url for Windows UNC paths (server shares); | changeset | files |