| Thu, 15 Nov 2007 11:49:02 +0100 | wenzelm | ISABELLE_IDENTIFIER is filled in automatically, not taken from the *long* form of isatool version! | changeset | files |
| Thu, 15 Nov 2007 11:49:00 +0100 | wenzelm | cover ISABELLE_IDENTIFIER; | changeset | files |
| Wed, 14 Nov 2007 16:22:44 +0100 | wenzelm | README for E binary distribution; | changeset | files |
| Wed, 14 Nov 2007 16:22:32 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 13 Nov 2007 18:29:28 +0100 | paulson | patching in the latest changes from Hurd | changeset | files |
| Tue, 13 Nov 2007 17:04:16 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 13 Nov 2007 16:24:03 +0100 | wenzelm | some more items; | changeset | files |