/example.texi/1.3/Tue Mar  3 21:49:33 1998//
/html.texi/1.3/Tue Mar  3 21:49:35 1998//
/multifmt.texi/1.3/Tue Mar  3 21:49:37 1998//
/res-samp.texi/1.3/Tue Mar  3 21:49:38 1998//
/resume.texi/1.3/Tue Mar  3 21:49:39 1998//
/simpledoc.texi/1.3/Tue Mar  3 21:49:41 1998//
D
