/basic.elf/1.2/Fri Mar  8 19:35:34 2002//
/mini-ml.elf/1.1/Fri Mar  8 19:35:12 2002//
/tab-examples.quy/1.2/Wed Apr 17 18:34:33 2002//
/tab.cfg/1.2/Wed Sep 12 19:13:52 2001//
D
