/configuration-symbols.xml/1.1/Sun Oct 26 20:49:38 2003//
/DDD2004ConfigurationSymbols.h/1.3/Tue Mar  9 08:52:50 2004//
/DDD2004ConfigurationSymbols.cpp/1.4/Wed Apr  7 16:49:58 2004//
/kick-symbols.xml/1.1/Wed Apr  7 12:28:58 2004//
/DDD2004StrategySymbols.cpp/1.6/Tue May  4 11:12:12 2004//
/DDD2004StrategySymbols.h/1.5/Tue May  4 11:12:12 2004//
/strategy-symbols.xml/1.4/Tue May  4 11:12:12 2004//
D
