| 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 |
| Fri, 11 Jan 2013 13:23:51 +0100 | wenzelm | more standard contrib/cygwin location (again); | changeset | files |
| Fri, 11 Jan 2013 16:30:56 +0100 | blanchet | updated messages | changeset | files |
| Fri, 11 Jan 2013 16:30:56 +0100 | blanchet | fixed escaping for MeSh encoder | changeset | files |
| Fri, 11 Jan 2013 16:30:56 +0100 | blanchet | don't learn from the proof of "psimps" etc. | changeset | files |
| Fri, 11 Jan 2013 16:30:56 +0100 | blanchet | updated MaSh Python component | changeset | files |