diff options
Diffstat (limited to 'isar/x-symbol-isar.el')
| -rw-r--r-- | isar/x-symbol-isar.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/isar/x-symbol-isar.el b/isar/x-symbol-isar.el index 4f61d702..9bb3c28e 100644 --- a/isar/x-symbol-isar.el +++ b/isar/x-symbol-isar.el @@ -505,10 +505,10 @@ variable `x-symbol-auto-coding-alist' for details." ;; (eval-after-load "isar" ;; allow use outside PG - (setq - proof-xsym-activate-command - (isar-markup-ml "change print_mode (insert (op =) \"xsymbols\")") - proof-xsym-deactivate-command - (isar-markup-ml "change print_mode (remove (op =) \"xsymbols\")"))) + '(setq + proof-xsym-activate-command + (isar-markup-ml "change print_mode (insert (op =) \"xsymbols\")") + proof-xsym-deactivate-command + (isar-markup-ml "change print_mode (remove (op =) \"xsymbols\")"))) (provide 'x-symbol-isar) |