diff options
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/isabelle-system.el | 2 |
1 files changed, 1 insertions, 1 deletions
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) |