From 838bb18d2a8db8315b0e0c82f5f2cfe359e1e491 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 5 Jan 2015 11:55:21 +0000 Subject: Fix crossref broken by newline. Remove custom font --- doc/PG-adapting.texi | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'doc') 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} -- cgit v1.2.3