diff options
Diffstat (limited to 'isar/isabelle-system.el')
-rw-r--r-- | isar/isabelle-system.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index 7d654d34..040fb959 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -261,7 +261,7 @@ for you, you should disable this behaviour." (let ((vc '(lambda (docdes) (vector (car (cdr docdes)) (list 'isa-view-doc (car docdes)) t)))) - (list (cons "Isabelle documentation" (mapcar vc (isa-tool-list-docs))))) + (list (cons "Isabelle Documentation" (mapcar vc (isa-tool-list-docs))))) "Isabelle documentation menu. Constructed when PG is loaded.") (defvar isabelle-logics-menu-entries nil |