diff options
| -rw-r--r-- | isa/isa.el | 4 | ||||
| -rw-r--r-- | isar/isar.el | 4 |
2 files changed, 4 insertions, 4 deletions
@@ -637,8 +637,8 @@ you will be asked to retract the file or process the remainder of it." ;; fontification for tokens themselves (FIXME: broken) '(("\\\\<[A-Za-z][A-Za-z0-9_']*>" (0 font-lock-type-face))) proof-xsym-activate-command - "print_mode := (!print_mode union [\"xsymbols\",\"symbols\"])" + "print_mode := ([\"xsymbols\",\"symbols\"] @ ! print_mode)" proof-xsym-deactivate-command - "print_mode := filter_out (fn x=>(rev (explode \"symbols\") prefix rev (explode x))) (!print_mode)") + "print_mode := (! print_mode \\\\ [\"xsymbols\",\"symbols\"])") (provide 'isa) diff --git a/isar/isar.el b/isar/isar.el index 30a174cd..db4ed62e 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -613,9 +613,9 @@ proof-shell-retract-files-regexp." (setq proof-xsym-font-lock-keywords '(("\\\\<[A-Za-z][A-Za-z0-9_']*>" (0 font-lock-type-face))) proof-xsym-activate-command - "ML {* print_mode := (!print_mode union [\"xsymbols\",\"symbols\"]) *};" + "ML_command {* print_mode := ([\"xsymbols\",\"symbols\"] @ ! print_mode) *};" proof-xsym-deactivate-command - "ML {* print_mode := filter_out (fn x=>(rev (explode \"symbols\") prefix rev (explode x))) (!print_mode) *};") + "ML_command {* print_mode := (! print_mode \\\\ [\"xsymbols\",\"symbols\"]) *};") (provide 'isar) |