texinfo update (Fri Feb 1 12:23:01 EST 2008)

[Karl Berry]

Index: ChangeLog
===================================================================
RCS file: /sources/texinfo/texinfo/ChangeLog,v
retrieving revision 1.811
retrieving revision 1.812
diff -u -r1.811 -r1.812
--- ChangeLog   31 Jan 2008 18:33:27 -0000      1.811
+++ ChangeLog   1 Feb 2008 17:16:28 -0000       1.812
@@ -1,3 +1,8 @@
+2008-02-01  Karl Berry  <address@hidden>
+
+       * doc/texinfo.tex (\ptextop): save plain tex \top (a math symbol).
+       (tex env): restore plain text \top.
+
 2008-01-31  Karl Berry  <address@hidden>
 
        * doc/texinfo.txi (Click Sequences): new section to document new
Index: doc/texinfo.tex
===================================================================
RCS file: /sources/texinfo/texinfo/doc/texinfo.tex,v
retrieving revision 1.257
retrieving revision 1.258
diff -u -r1.257 -r1.258
--- doc/texinfo.tex     31 Jan 2008 18:33:28 -0000      1.257
+++ doc/texinfo.tex     1 Feb 2008 17:16:29 -0000       1.258
@@ -3,7 +3,7 @@
 % Load plain if necessary, i.e., if running under initex.
 \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi
 %
-\def\texinfoversion{2008-01-31.09}
+\def\texinfoversion{2008-02-01.09}
 %
 % Copyright (C) 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995,
 % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
@@ -97,6 +97,7 @@
 \let\ptexslash=\/
 \let\ptexstar=\*
 \let\ptext=\t
+\let\ptextop=\top
 
 % If this character appears in an error message or help string, it
 % starts a new line in the output.
@@ -5725,6 +5726,7 @@
   \let\/=\ptexslash
   \let\*=\ptexstar
   \let\t=\ptext
+  \expandafter \let\csname top \endcsname=\ptextop  % outer
   \let\frenchspacing=\plainfrenchspacing
   %
   \def\endldots{\mathinner{\ldots\ldots\ldots\ldots}}%
P ChangeLog
P doc/texinfo.tex