diff options
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isabelle-system.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index a45e3470..9e2c64fc 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -257,9 +257,9 @@ for you, you should disable this behaviour." :group 'isabelle) (defvar isabelle-docs-menu - (let ((vc '(lambda (docdes) - (vector (car (cdr docdes)) - (list 'isa-view-doc (car docdes)) t)))) + (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))))) "Isabelle documentation menu. Constructed when PG is loaded.") |