/adaptivered.cc/1.9/Fri Jan 31 22:29:45 2003//
/adaptivered.hh/1.8/Fri Jan 31 22:29:45 2003//
/pi.cc/1.8/Fri Jan 31 22:29:45 2003//
/pi.hh/1.6/Fri Jan 31 22:29:45 2003//
/red.cc/1.42/Tue Aug  6 00:51:25 2002//
/red.hh/1.35/Tue Aug  6 00:51:25 2002//
D
