diff options
| -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 49852793..17c94f47 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -229,7 +229,7 @@ until Proof General is restarted." (let ((vc '(lambda (docdes) (vector (car (cdr docdes)) (list 'isa-view-doc (car docdes)) t)))) - (list (cons "Isatool Docs" (mapcar vc (isa-tool-list-docs))))) + (list (cons "Isabelle documentation" (mapcar vc (isa-tool-list-docs))))) "Isabelle documentation menu. Constructed dynamically.") |