| Wed, 15 Apr 2009 20:03:08 +0200 | wenzelm | misc tuning for Isabelle2009; | changeset | files |
| Wed, 15 Apr 2009 19:52:45 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 15 Apr 2009 15:27:13 +0200 | wenzelm | more generic error message, which also covers more fundamental failure; | changeset | files |