diff options
Diffstat (limited to 'isar')
-rw-r--r-- | isar/x-symbol-isar.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isar/x-symbol-isar.el b/isar/x-symbol-isar.el index 42752ebe..684a2a21 100644 --- a/isar/x-symbol-isar.el +++ b/isar/x-symbol-isar.el @@ -13,10 +13,10 @@ (setq proof-xsym-activate-command (isar-markup-ml - "print_mode := ([\"xsymbols\", \"symbols\"] @ ! print_mode)") + "change print_mode (insert (op =) \"xsymbols\")") proof-xsym-deactivate-command (isar-markup-ml - "print_mode := (Library.gen_rems (op =) (! print_mode, [\"xsymbols\", \"symbols\"]))")) + "change print_mode (remove (op =) \"xsymbols\")")) (provide 'x-symbol-isar) |