diff options
author | 2000-06-15 12:56:15 +0000 | |
---|---|---|
committer | 2000-06-15 12:56:15 +0000 | |
commit | cae2087273f29dae2a2879454e31bb578d98f17e (patch) | |
tree | 10326ffc3253f7b45b65af49ef0403c14fdb2513 /isar | |
parent | e9636bb097d959a1887776fc15fed12b185a7681 (diff) |
Note to merge
Diffstat (limited to 'isar')
-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) |