From 1eed9197282ccba632d88f828ec9d7180c348604 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 22 Feb 1999 14:07:05 +0000 Subject: Docstring --- generic/proof-site.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3