Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-06-17 08:54:07 -0700 (Sun, 17 Jun 2001)
Revision: 3273
Log message:

      ASCII IO improvements for the case of a manually edited prla file containing
      repeated entries.
      

Changes	Path
+40 -7	metaprl/refiner/reflib/ascii_io.ml