From 50af258fe0d8fe24bab10fb206a787e1d4dafeac Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 15 Feb 2003 15:02:43 +0000
Subject: Updated.

---
 isa/isabelle-system.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isa')

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index 3b679d34..f30b9734 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -292,7 +292,7 @@ until Proof General is restarted."
 			   :selected (list 'equal 'isabelle-chosen-logic l)))
 		 (isa-tool-list-logics)))))
 
-;; Status: remove-menu-item 
+;; Status: remove-menu-item seems broken??
 (defun isabelle-logics-menu-refresh ()
   "Refresh isabelle-logics-menu."
   (interactive)
-- 
cgit v1.2.3