diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-02-15 15:02:43 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-15 15:02:43 +0000 |
| commit | 50af258fe0d8fe24bab10fb206a787e1d4dafeac (patch) | |
| tree | c01d11ee00d0e952c659af368527e37f4ad938d9 /isa | |
| parent | 4fc72eb7519566d62425acdcc1e30871c67a2af0 (diff) | |
Updated.
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) |