/.cvsignore/1.1/Thu Feb  4 15:46:59 1999//Tmozart-1-2-5-r1
/Makefile.in/1.5.2.2/Fri Aug  3 09:37:11 2001//Tmozart-1-2-5-r1
/OptionSheet.oz/1.2/Fri Nov 27 13:11:50 1998//Tmozart-1-2-5-r1
/configure/1.13.2.7.2.1/Thu Jan 23 15:18:03 2003//Tmozart-1-2-5-r1
/configure.in/1.1/Mon Nov 23 08:31:39 1998//Tmozart-1-2-5-r1
D
