/example.texi/1.2/Tue Mar 24 18:07:59 1998//
/html.texi/1.2/Tue Mar 24 18:08:00 1998//
/multifmt.texi/1.2/Tue Mar 24 18:08:01 1998//
/res-samp.texi/1.2/Tue Mar 24 18:08:02 1998//
/resume.texi/1.2/Tue Mar 24 18:08:03 1998//
/simpledoc.texi/1.2/Tue Mar 24 18:08:04 1998//
D
