diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2013-05-22 15:29:11 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2013-05-22 15:29:11 +0000 |
commit | 33eb115fac1a84399964e471523e6b1cac591214 (patch) | |
tree | 8ffdec237b74b8403cc7d771db3a050b6b10c67e /doc | |
parent | 9b8563f16b5d4d345a3934dbbc41fd46831236f4 (diff) |
Retire Serifa font usage
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ProofGeneral.texi | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 2341c1d0..9b800595 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -1,12 +1,7 @@ -\def\fontdefs{\psfamily{bsf}{r}{c}{b}{b}{ri}{ri}{ro}{bo}\def\mainmagstep{1200}} \input texinfo @c @c $Id$ @c -@c NB: the first line of this file uses a non-standard TeXinfo -@c hack to print in Serifa fonts. It has no effect if you don't have -@c my hacked version of TeXinfo - da. - @c @c TODO: @c MMM support, Theorem dependencies, history in script and response, |