From 33eb115fac1a84399964e471523e6b1cac591214 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 22 May 2013 15:29:11 +0000 Subject: Retire Serifa font usage --- doc/ProofGeneral.texi | 5 ----- 1 file changed, 5 deletions(-) (limited to 'doc/ProofGeneral.texi') 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, -- cgit v1.2.3