blob: 42752ebe17c704c6d4508b2a3fee1f9a7e945e5f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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)
|