/memorymap.hh/1.3/Wed Aug 27 01:55:44 2003//
/soccermemorymap.hh/1.1/Wed Jul 16 07:22:15 2003//
/wrappers.cc/1.4/Thu Aug 28 03:17:18 2003//
/mind.hh/1.20/Sun Sep 21 05:22:45 2003//
/mind.cc/1.18/Tue Sep 23 07:30:34 2003//
/wrappers.hh/1.6/Tue Sep 23 07:01:17 2003//
D
