diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-15 13:32:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-15 13:32:48 +0000 |
| commit | 7ea8d341909787f8b95550f5186493666d032066 (patch) | |
| tree | 2df965b807f54b077bfaddd6bf416812a1f5def1 | |
| parent | b849231bef6c9899317cd7a0953e12a91cf07ec4 (diff) | |
Remove comment
| -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") |