Name Last Modified Size [DIR] Parent Directory [ ] Makefile 2009-02-03 22:03 1.2k [ ] minilex.mll 2009-02-03 22:03 103.0 [ ] t100.dat 2009-02-03 22:03 10.0 [ ] t_a.dat 2009-02-03 22:03 1.0 [ ] t_b.dat 2009-02-03 22:03 1.0 [ ] test_reader.ml 2009-02-03 22:03 15.6k [ ] test_rewritten_reader.ml 2009-02-03 22:03 21.0k