/tex-exp.xml/1.5/Sun May  9 09:12:09 2004//
/tex-inst.xml/1.6/Sun May  9 09:12:59 2004//
/tex-intro.xml/1.4/Sun May  9 09:13:35 2004//
/tex.ent/1.10/Sun May  9 09:10:10 2004//
/tex-desc.xml/1.3/Wed Mar 10 21:44:47 2004//
D
