diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-29 20:28:05 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-29 20:28:05 +0000 |
commit | 48b353c269908b39fe7efab53f6f95c1a3aa9c2c (patch) | |
tree | 5d4ea0693a24d70bb0006ff9117467149747edc8 /isar/isar-syntax.el | |
parent | e39908c5e5126623ace0e9615b74e692ce9dc00d (diff) |
isar-undos: fix bug trac #189 introduced by attempt to remove proof-no-command.
Diffstat (limited to 'isar/isar-syntax.el')
-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 8bd908b4..2900d6f3 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -462,7 +462,7 @@ matches contents of quotes for quoted identifiers.") (defun isar-undos (i) (if (> i 0) (concat "undos_proof " (int-to-string i) ";") - nil)) + proof-no-command)) (defun isar-cannot-undo (cmd) (concat "cannot_undo \"" cmd "\";")) |