| Tue, 01 Jun 2010 10:30:53 +0200 | haftmann | tuned code setup | changeset | files |
| 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 |