/Makefile/1.3/Mon Jul  9 09:30:28 2012//
/punct.in/1.2/Thu Nov 17 16:28:46 2011//
/punct.out_ascii/1.2/Thu Nov 17 16:28:46 2011//
/spacing.in/1.2/Thu Nov 17 16:28:46 2011//
/spacing.out_ascii/1.2/Thu Nov 17 16:28:46 2011//
D
