/fdl.texi/1.1/Thu Oct  4 02:35:28 2001//
/gpl.texi/1.1/Thu Oct  4 02:35:28 2001//
/mach.texi/1.4/Sat Mar 30 17:12:00 2002//
/Makefile.in/1.2/Thu May 23 16:03:28 2002//
D
