diff options
| author | Thomas Kleymann | 1998-12-15 12:10:34 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-12-15 12:10:34 +0000 |
| commit | 3e9fc0816fc333ff80d158afa26bb70e403e6b1f (patch) | |
| tree | 3ff9aaf8a4ee303893428e8a22d9e064fceb525a /generic/proof-site.el | |
| parent | e5a5aa225eb864da82c00870698d79befca977d8 (diff) | |
made many minor changes to the documentation
Diffstat (limited to 'generic/proof-site.el')
| -rw-r--r-- | generic/proof-site.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index e758bf60..91802d1f 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -103,7 +103,7 @@ You can use customize to set this variable." (mapcar (lambda (astnt) (car astnt)) proof-assistant-table) (concat - "*Choice of proof assitants to use with Proof General. + "*Choice of proof assistants to use with Proof General. A list of symbols chosen from:" (apply 'concat (mapcar (lambda (astnt) (concat " '" (symbol-name (car astnt)))) @@ -141,7 +141,7 @@ NOTE: to change proof assistant, you must start a new Emacs session.") ;; Now add auto-loads and load-path elements to support the ;; proof assistants selected, and define a stub -(let ((assistants proof-assistants) assistant) +(let ((assistants proof-assistants)) (while assistants (let* ((assistant (car assistants)) ; compiler bogus warning here |