/README/1.2/Tue Jul 10 20:43:00 2001//
/optcmove.fs/1.1/Wed Oct  2 15:35:32 2002//
/tt.fs/1.5/Sun Mar 12 21:30:24 2006//
/asm.fs/1.9/Mon Dec 31 19:01:42 2007//
/fi2v.fs/1.5/Mon Dec 31 19:01:42 2007//
/key.fs/1.6/Mon Dec 31 19:01:42 2007//
/mach.fs/1.16/Mon Dec 31 19:01:42 2007//
/misc-sim.v/1.5/Mon Dec 31 19:01:43 2007//
/misc.v/1.5/Mon Dec 31 19:01:43 2007//
/sim.fs/1.10/Mon Dec 31 19:01:43 2007//
/sokoban.fs/1.5/Mon Dec 31 19:01:43 2007//
/prim.fs/1.23/Sat Nov  1 22:06:22 2008//
D
