diff options
author | Makarius Wenzel <makarius@sketis.net> | 2008-07-10 17:40:46 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2008-07-10 17:40:46 +0000 |
commit | 546f01c60d012b1ac6503618f7fa4fb892e5a90a (patch) | |
tree | 3af8f0a3ade0cdee73da1144b8cd369053bafaf0 | |
parent | 0d0d99129e679b2697ac4bb409dfa7affc867403 (diff) |
removed obsolete comment;
-rw-r--r-- | isar/isar-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 756b4bc2..0dc22392 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -443,7 +443,7 @@ matches contents of quotes for quoted identifiers.") ;; ----- variations on undo -(defconst isar-undo "ProofGeneral.undo;") ;; no output undo +(defconst isar-undo "ProofGeneral.undo;") (defun isar-remove (name) (concat "init_toplevel; kill_thy " name ";")) |