From 546f01c60d012b1ac6503618f7fa4fb892e5a90a Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Thu, 10 Jul 2008 17:40:46 +0000 Subject: removed obsolete comment; --- isar/isar-syntax.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'isar/isar-syntax.el') 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 ";")) -- cgit v1.2.3