diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-02-22 17:37:04 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-22 17:37:04 +0000 |
| commit | c1218b3a3653799cf6e7b5aac5ae6caef53a4897 (patch) | |
| tree | 6e7bf73fd4968a0928fd835a57408e8dea8679f3 /isar | |
| parent | 2923d9dbd2b590fccdca9afa62677c0081486bba (diff) | |
New files.
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) |