| Sun, 07 Oct 2007 21:19:31 +0200 | wenzelm | modernized specifications; | changeset | files |
| Sun, 07 Oct 2007 15:49:25 +0200 | wenzelm | replaced some 'translations' by 'abbreviation'; | changeset | files |
| Sun, 07 Oct 2007 13:57:05 +0200 | wenzelm | * Basic Isabelle mode for jEdit. | changeset | files |
| Sun, 07 Oct 2007 13:52:16 +0200 | wenzelm | tuned generated comment; | changeset | files |