r11769: remove pentium4 optimized version
[ctsim.git] / doc / verbatim.sty
2001-01-31 Kevin M. Rosenbergr478: no message