From 7ea8d341909787f8b95550f5186493666d032066 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Apr 2004 13:32:48 +0000
Subject: Remove comment

---
 isa/x-symbol-isabelle.el | 2 --
 1 file changed, 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")
 
-- 
cgit v1.2.3