diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2015-01-05 11:55:21 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2015-01-05 11:55:21 +0000 |
commit | 838bb18d2a8db8315b0e0c82f5f2cfe359e1e491 (patch) | |
tree | cfbfb170722cfb2b8ac01a43244540c943b5c77b /doc | |
parent | 1d1458605502325282598db58cf907da89bd4fb9 (diff) |
Fix crossref broken by newline. Remove custom font
Diffstat (limited to 'doc')
-rw-r--r-- | doc/PG-adapting.texi | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 96507f05..078c2baf 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -1,9 +1,6 @@ - -\def\fontdefs{\psfamily{bsf}{r}{c}{b}{b}{ri}{ri}{ro}{bo}\def\mainmagstep{1200}} \input texinfo @c TODO: setting for configuring proof hidden regions. @c -@c @c $Id$ @c @c NB: the first line of this file uses a non-standard TeXinfo @@ -2298,8 +2295,7 @@ undoing, @code{proof-shell-retract-files-regexp} and urgent messages from proof process}. To tell the prover about files handled with script management, use @code{proof-shell-inform-file-processed-cmd} and - @code{proof-shell-inform-file-retracted-cmd}. @xref{Proof shell - commands}. + @code{proof-shell-inform-file-retracted-cmd}. @xref{Proof shell commands}. If your prover does not allow re-opening of closed files, set @code{proof-cannot-reopen-processed-files} to @code{t}. Finally, set the flag @code{proof-auto-multiple-files} |