Fred Drake 53396f66c1 Consistency: In two \section{} headers, change {\tt ...} to \sectcode{...}.		1998-01-19 02:48:37 +00:00
..
ext.tex	Consistency: In two \section{} headers, change {\tt ...} to \sectcode{...}.	1998-01-19 02:48:37 +00:00