/doc-to-tex/1.1/Thu Aug  5 12:52:21 1999//
/doc-to-tex.sed/1.2/Thu Jun 14 11:43:06 2001//
D
