diff options
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/x-symbol-isar.el | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/isar/x-symbol-isar.el b/isar/x-symbol-isar.el new file mode 100644 index 00000000..42752ebe --- /dev/null +++ b/isar/x-symbol-isar.el @@ -0,0 +1,22 @@ +;; Canonical file for token language file for PG/isar. + +(require 'x-symbol-isabelle) + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; +;; x-symbol support +;; +;; The following settings configure the generic PG package. +;; The token language "Isabelle Symbols" is in file isa/x-symbol-isabelle.el +;; + +(setq + proof-xsym-activate-command + (isar-markup-ml + "print_mode := ([\"xsymbols\", \"symbols\"] @ ! print_mode)") + proof-xsym-deactivate-command + (isar-markup-ml + "print_mode := (Library.gen_rems (op =) (! print_mode, [\"xsymbols\", \"symbols\"]))")) + + +(provide 'x-symbol-isar) |