diff options
| -rw-r--r-- | isar/isar.el | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/isar/isar.el b/isar/isar.el index c8eb87d6..08d6c9b9 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -605,21 +605,4 @@ proof-shell-retract-files-regexp." x-symbol-isabelle-font-lock-keywords))) (proof-goals-config-done)) - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; -;; 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 'isar) |