/TODO.dev/1.2/Wed Oct 26 07:22:57 1994//
/TODO.hp300/1.2/Wed Oct 26 07:22:59 1994//
/Debug.tips/1.3/Tue Jul 24 20:24:45 2001//
/Options/1.8/Fri Nov 30 04:41:02 2001//
/README/1.3/Sat Dec  8 04:49:10 2001//
/HPMMU.notes/1.5/Fri Mar 15 05:53:56 2002//
D
