Guido van Rossum 68c172e3f2 Change \verb\xxx\ in section titles back to {\tt xxx}.		1992-01-21 11:34:56 +00:00
..
ref.tex	Change \verb\xxx\ in section titles back to {\tt xxx}.	1992-01-21 11:34:56 +00:00