diff options
author | 1999-11-26 16:42:23 +0000 | |
---|---|---|
committer | 1999-11-26 16:42:23 +0000 | |
commit | f4ef42cf8dc6c91c68f0285457e77234a8d7efe8 (patch) | |
tree | 589fe1ce1c34e825064c43b80882acedf9bb3d40 | |
parent | 503601e5547bbc7739a89255ea9e93da6136e36d (diff) |
Typo.
-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 bec566de..36015fd1 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -2410,8 +2410,8 @@ As well as the faces listed below, Proof General may use the regular @code{font-lock-} faces (eg @code{font-lock-keyword-face}, @code{font-lock-variable-name-face}, etc) for fontifying the proof script or proof assistant output. These can be altered to your taste -just as easily, but note that they will affect all font-lock modes which -use them! +just as easily, but note that changes will affect all other modes +which use them! @c TEXI DOCSTRING MAGIC: proof-queue-face |