Fri, 15 Sep 2000 00:16:36 +0200 | wenzelm | updated; | changeset | files |
Fri, 15 Sep 2000 00:16:08 +0200 | wenzelm | renamed "bow" to "frown"; | changeset | files |
Thu, 14 Sep 2000 18:37:44 +0200 | wenzelm | "Isabelle repository version"; | changeset | files |
Thu, 14 Sep 2000 17:46:00 +0200 | nipkow | *** empty log message *** | changeset | files |
Thu, 14 Sep 2000 17:46:00 +0200 | nipkow | *** empty log message *** | changeset | files |
Thu, 14 Sep 2000 17:24:46 +0200 | wenzelm | added /usr/share/emacs/ProofGeneral/isar/interface choice; | changeset | files |
Thu, 14 Sep 2000 11:34:13 +0200 | paulson | a bit more of division | changeset | files |