blob: 71dcb41e0e90de664e9331a09d247ee769249843 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
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
"change print_mode (insert (op =) \"xsymbols\")"
proof-xsym-deactivate-command
"change print_mode (remove (op =) \"xsymbols\")")
(provide 'x-symbol-isa)
|
