diff options
| -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 244b40a0..ffbc6583 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -368,7 +368,7 @@ ;; ----- variations on undo -(defconst isar-undo "undo;") +(defconst isar-undo "ProofGeneral.undo;") (* no output undo *) (defconst isar-kill "kill;") (defun isar-remove (name) |