diff options
| author | David Aspinall | 2000-09-08 13:35:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-08 13:35:41 +0000 |
| commit | e098f0755956c40ffd43ce4aecb05501b5f987fb (patch) | |
| tree | abe479c0698d02d808f9a03503b0b2b967cd4b7c | |
| parent | bb9d29be4c70aba3c89e3cd9f87268a636d5897e (diff) | |
Customize always available if PG is
| -rw-r--r-- | doc/ProofGeneral.texi | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 3527fc1e..01574dec 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -3612,10 +3612,9 @@ General is loaded. To load it manually, type M-x load-library RET proof RET @end lisp -Notice that the customization mechanism is only available in Emacs 20.x -and XEmacs. If you cannot use customize, simply add a line like this: +If you do not want to use customize, simply add a line like this: @lisp - (setq isabelle-prog-name "/usr/bin/isabelle FOL") + (setq coq-prog-name "/usr/bin/coqtop -emacs") @end lisp to your @file{.emacs} file. |