diff options
Diffstat (limited to 'isa')
| -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 d1ff4cb7..71dcb41e 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 - "print_mode := ([\"xsymbols\", \"symbols\"] @ ! print_mode);" + "change print_mode (insert (op =) \"xsymbols\")" proof-xsym-deactivate-command - "print_mode := (! print_mode \\\\ [\"xsymbols\", \"symbols\"]);") + "change print_mode (remove (op =) \"xsymbols\")") |