| Tue, 01 Jun 2010 11:37:24 +0200 | wenzelm | keep structure ThyLoad for the sake of Proof General; | changeset | files |
| Tue, 01 Jun 2010 09:12:12 +0200 | haftmann | added random instance for word | changeset | files |
| Mon, 31 May 2010 22:08:40 +0200 | wenzelm | notes on Isabelle/jEdit; | changeset | files |
| Mon, 31 May 2010 21:29:27 +0200 | wenzelm | remove presently unused Isabelle application; | changeset | files |
| Mon, 31 May 2010 21:06:57 +0200 | wenzelm | modernized some structure names, keeping a few legacy aliases; | changeset | files |
| Mon, 31 May 2010 19:36:13 +0200 | wenzelm | merged | changeset | files |
| Mon, 31 May 2010 17:41:06 +0200 | blanchet | merge | changeset | files |