/section.in/1.2/Sun Nov 20 23:49:45 2011//
/section.out_ascii/1.2/Sun Nov 20 23:49:45 2011//
/basic.in/1.1/Sun Jul  8 18:38:07 2012//
/basic.out_ascii/1.1/Sun Jul  8 18:38:07 2012//
/font.in/1.1/Mon Jul  9 17:52:09 2012//
/font.out_ascii/1.1/Mon Jul  9 17:52:09 2012//
/noarg.in/1.3/Tue Jul 17 23:03:42 2012//
/noarg.out_ascii/1.3/Tue Jul 17 23:03:42 2012//
/Makefile/1.6/Mon Dec 17 02:38:47 2012//
/eos.in/1.1/Sun Nov 18 00:05:28 2012//
/eos.out_ascii/1.1/Sun Nov 18 00:05:28 2012//
D
