Thu, 25 Oct 2007 19:27:53 +0200 | haftmann | fixed syntax; truned code structure; added primitive subclass interface with consideraton of syntax etc. | changeset | files |
Thu, 25 Oct 2007 19:27:52 +0200 | haftmann | dropped redundancy | changeset | files |
Thu, 25 Oct 2007 19:27:50 +0200 | haftmann | various localizations | changeset | files |
Thu, 25 Oct 2007 16:57:57 +0200 | wenzelm | made command 'undo' silent ('ProofGeneral.undo' becomes a historical relic); | changeset | files |
Thu, 25 Oct 2007 13:52:05 +0200 | haftmann | tuned | changeset | files |
Thu, 25 Oct 2007 13:52:04 +0200 | haftmann | clarified implementation | changeset | files |