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