| Fri, 11 Jan 2013 14:54:52 +0100 | wenzelm | refer to cygwin mirror with static copy of setup.ini; | changeset | files |
| Fri, 11 Jan 2013 14:33:44 +0100 | wenzelm | discontinued HOL side-entry sessions -- may be configured in $ISABELLE_HOME_USER/ROOT instead; | changeset | files |
| Fri, 11 Jan 2013 13:24:22 +0100 | wenzelm | obsolete; | changeset | files |