diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-02-22 14:07:05 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-02-22 14:07:05 +0000 |
commit | 1eed9197282ccba632d88f828ec9d7180c348604 (patch) | |
tree | d26eef8056e41443277e906b70e1a09d92c98660 | |
parent | d6c5d7ac09b4afba5f08d5ef4b5e2d72ce318098 (diff) |
Docstring
-rw-r--r-- | generic/proof-site.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 76b806fc..aa7f90e0 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -141,7 +141,7 @@ You can select which proof assistants you want by setting this variable before `proof-site.el' is loaded, or by setting the environment variable `PROOFGENERAL_ASSISTANTS' to the symbols you want, for example \"lego isa\". Or you can -edit proof-site.el itself. +edit the file `proof-site.el' itself. Note: to change proof assistant, you must start a new Emacs session.") :type (cons 'set |