Name Last Modified Size [DIR] Parent Directory [ ] Makefile 2008-01-20 13:56 1.2k [ ] minilex.mll 2008-01-20 13:56 103.0 [ ] t100.dat 2008-01-20 13:56 10.0 [ ] t_a.dat 2008-01-20 13:56 1.0 [ ] t_b.dat 2008-01-20 13:56 1.0 [ ] test_reader.ml 2008-01-20 13:56 15.6k [ ] test_rewritten_reader.ml 2008-01-20 13:56 21.0k