diff options
Diffstat (limited to 'lib/readline/doc/history.log')
-rw-r--r-- | lib/readline/doc/history.log | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/lib/readline/doc/history.log b/lib/readline/doc/history.log index 8400c260..a790fcf4 100644 --- a/lib/readline/doc/history.log +++ b/lib/readline/doc/history.log @@ -1,9 +1,9 @@ -This is TeX, Version 3.14159 (Web2C 7.3.1) (format=tex 2001.2.12) 22 SEP 2003 09:04 -**/net/granite/fs4/src/ns-engr/work/chet/src/bash/src/lib/readline/doc/history. -texi +This is TeX, Version 3.14159 (Web2C 7.3.1) (format=tex 2001.2.12) 27 JUL 2004 09:31 +**/net/celerra-dm1/fs04/src/ns-engr/work/chet/src/bash/src/lib/readline/doc/his +tory.texi -(/net/granite/fs4/src/ns-engr/work/chet/src/bash/src/lib/readline/doc/history.t -exi (texinfo.tex Loading texinfo [version 2003-02-03.16]: Basics, +(/net/celerra-dm1/fs04/src/ns-engr/work/chet/src/bash/src/lib/readline/doc/hist +ory.texi (texinfo.tex Loading texinfo [version 2003-02-03.16]: Basics, \bindingoffset=\dimen16 \normaloffset=\dimen17 \pagewidth=\dimen18 @@ -34,13 +34,13 @@ exi (texinfo.tex Loading texinfo [version 2003-02-03.16]: Basics, \toksD=\toks18 \boxA=\box19 \countA=\count30 - fonts, + +fonts, \sffam=\fam8 \textleading=\dimen26 \mainmagstep=\count31 \fontdepth=\count32 - -page headings, + page headings, \titlepagetopglue=\skip20 \titlepagebottomglue=\skip21 \evenheadline=\toks19 @@ -81,7 +81,8 @@ page headings, \lastnegativepageno=\count43 \shortappendixwidth=\dimen33 \tocindent=\dimen34 - environments, + +environments, \errorbox=\box22 \lispnarrowing=\skip30 \envskipamount=\skip31 @@ -94,8 +95,7 @@ page headings, \lskip=\skip35 \rskip=\skip36 \tabw=\dimen38 - -defuns, + defuns, \defbodyindent=\skip37 \defargsindent=\skip38 \deflastargmargin=\skip39 @@ -162,11 +162,11 @@ and turning on texinfo input format.) (history.aux) [22] (history.vrs) [23] [24] ) Here is how much of TeX's memory you used: 1399 strings out of 13013 - 16305 string characters out of 97233 - 45527 words of memory out of 263001 + 16315 string characters out of 97233 + 45523 words of memory out of 263001 2271 multiletter control sequences out of 10000+0 31953 words of font info for 111 fonts, out of 400000 for 1000 19 hyphenation exceptions out of 1000 - 15i,6n,17p,306b,649s stack positions out of 300i,100n,500p,50000b,4000s + 15i,6n,17p,311b,649s stack positions out of 300i,100n,500p,50000b,4000s -Output written on history.dvi (28 pages, 79868 bytes). +Output written on history.dvi (28 pages, 79856 bytes). |