diff options
| -rw-r--r-- | isa/x-symbol-isabelle.el | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index 1b008e2d..1bed377e 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -25,8 +25,6 @@ ;; NB da: these next two are also set in proof-x-symbol.el, but ;; it would be handy to be able to use this file away from PG. -;; FIXME: In future could fix things so just -;; (require 'proof-x-symbol) would be enough here. (defvar x-symbol-isabelle-name "Isabelle Symbol") (defvar x-symbol-isabelle-modeline-name "isa") |