diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-07-01 18:09:25 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-07-01 18:09:25 +0000 |
| commit | c4c2edc9c832c418347181086ccd942934f58b32 (patch) | |
| tree | 0faad466c013a7db4e378ddef26929d8a6e6a9cc /isa | |
| parent | 8b416d39d8322aaad999520dbc9ec56fc88ac0d4 (diff) | |
tuned docs menu;
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 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.") |