diff options
| -rw-r--r-- | isar/x-symbol-isar.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/isar/x-symbol-isar.el b/isar/x-symbol-isar.el index fcb1ed5a..83a6b657 100644 --- a/isar/x-symbol-isar.el +++ b/isar/x-symbol-isar.el @@ -4,6 +4,8 @@ ;; token language "Isabelle Symbols" for package x-symbol ;; ;; NB: this file is copied directly from isa/x-symbol-isa.el +;; +;; FIXME da: merge this with x-symbol-isa, making x-symbol-isabelle. (provide 'x-symbol-isar) (defvar x-symbol-isar-required-fonts nil) |