/internals.doc/1.1/Sun May  6 10:16:57 2001//
/internals.tex/1.1/dummy timestamp from new-entry//
/toolkit.doc/1.1/Sun May  6 10:16:55 2001//
/toolkit.tex/1.1/dummy timestamp from new-entry//
D
