diff options
| author | Makarius Wenzel | 2005-09-18 17:44:45 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-09-18 17:44:45 +0000 |
| commit | 9d6c3817a9a08d392b26cc828201b5235cb6cdd3 (patch) | |
| tree | cba7d0227d7066676c72ce09369a6e9b14463f50 | |
| parent | 133e32197a6b68df8a04e32f95a90adc9b653ce3 (diff) | |
better terminate ML code;
| -rw-r--r-- | isa/x-symbol-isa.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isa/x-symbol-isa.el b/isa/x-symbol-isa.el index 71dcb41e..f5934f52 100644 --- a/isa/x-symbol-isa.el +++ b/isa/x-symbol-isa.el @@ -12,9 +12,9 @@ (setq proof-xsym-extra-modes '(thy-mode) proof-xsym-activate-command - "change print_mode (insert (op =) \"xsymbols\")" + "change print_mode (insert (op =) \"xsymbols\");" proof-xsym-deactivate-command - "change print_mode (remove (op =) \"xsymbols\")") + "change print_mode (remove (op =) \"xsymbols\");") |