/.cvsignore/1.2/Sat Oct 26 17:48:31 1996//
/Makefile/1.15/Sun Mar 16 15:16:58 1997//
/src2pi.mll/1.3/Sun Nov  3 20:43:47 1996//
/src2tex.mll/1.8/Wed Dec 18 01:57:31 1996//
