/Makefile.in/1.4.2.1/Wed Aug  1 16:24:41 2001//Tmozart-1-2-5-r1
/Propagator.oz/1.2/Wed Jun  2 08:28:28 1999//Tmozart-1-2-5-r1
/configure/1.11.2.8.2.7/Fri Jan 31 17:51:55 2003//Tmozart-1-2-5-r1
/configure.in/1.1/Fri May 28 11:49:18 1999//Tmozart-1-2-5-r1
/fcp.hh/1.4/Wed Sep 13 10:06:13 2000//Tmozart-1-2-5-r1
/fcpdecl.perl/1.5/Thu Mar 16 15:36:13 2000//Tmozart-1-2-5-r1
/opi.oz/1.5/Thu Mar 16 15:36:14 2000//Tmozart-1-2-5-r1
D
