/Makefile/1.3/Mon Jul  9 17:52:09 2012//
/font.in/1.1/Mon Jul  9 17:52:09 2012//
/font.out_ascii/1.1/Mon Jul  9 17:52:09 2012//
/punct.in/1.3/Thu Nov 17 16:28:45 2011//
/punct.out_ascii/1.2/Thu Nov 17 16:28:45 2011//
D
