| Fri, 11 Jan 2013 22:01:49 +0100 | wenzelm | more NEWS; | changeset | files |
| Fri, 11 Jan 2013 21:51:39 +0100 | wenzelm | proper path names; | changeset | files |
| 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 |