/winmind_kernel.cc/1.2/Tue Sep  9 04:57:20 2003//
/eyemind_kernel.cc/1.6/Sat Sep 20 15:01:31 2003//
/mind_dummy.hh/1.1/Sun Sep 21 03:32:38 2003//
/mind_kernel.hh/1.2/Sat Sep 20 14:05:50 2003//
D
