diff options
| author | David Aspinall | 2003-08-20 23:52:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-08-20 23:52:47 +0000 |
| commit | 80bed3f302f77296fc8e82e24613b39fd543f240 (patch) | |
| tree | e46c389c68dcb6b14d41483c75ef573394db5159 | |
| parent | 28dd62f87f840a4d3f3bcf97c53f1d238633f29e (diff) | |
Fix SML comment syntax oops
| -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 ffbc6583..81dd22ef 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -368,7 +368,7 @@ ;; ----- variations on undo -(defconst isar-undo "ProofGeneral.undo;") (* no output undo *) +(defconst isar-undo "ProofGeneral.undo;") ;; no output undo (defconst isar-kill "kill;") (defun isar-remove (name) |