diff options
| author | David Aspinall | 1999-08-23 19:59:14 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-23 19:59:14 +0000 |
| commit | dd87a4529bb3cee63301d2c6a017fd082349c16a (patch) | |
| tree | 5bdeae4af13b6965a095d842fafb8b1919a665af /doc | |
| parent | da7e95bfddfcf9d33a2aa80026456b6f0cabf8c6 (diff) | |
Changes for 2.3 series pre-releases.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 1a875769..765d3eff 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -50,7 +50,7 @@ @set version 2.1 -@set xemacsversion 20.4 +@set xemacsversion 21.1 @set fsfversion 20.2 @set last-update August 1999 @set rcsid $Id$ @@ -1376,7 +1376,7 @@ The packages currently supported are @code{font-lock} @code{fume-func}, @vindex isa-mode-hooks @cindex font-lock @cindex colour -In XEmacs 20.4, proof script buffer are coloured (fontified as they say) +In XEmacs, proof script buffer are coloured (fontified as they say) by default. To automatically switch on fontification in FSF GNU Emacs 20.2, you need to configure the @code{font-lock} package yourself. This can be achieved by modifying the @var{prover}-mode-hooks where @var{prover} is either |