/index.texi/1.2/Thu Apr 12 18:22:08 2001//
/internals.texi/1.28/Mon Jul  2 20:45:06 2001//
D
