K 10 svn:author V 7 roberto K 8 svn:date V 27 1996-07-01T21:30:28.000000Z K 7 svn:log V 174 Fix PR doc/1360 by replacing the '_' in ... with the proper _ entity. Both the LaTeX and HTML output are good now. Please someone close doc/1360. END