Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-11-12 17:29:04 -0800 (Sat, 12 Nov 2005)
Revision: 8174
Log message:

      Wrote a simple program for merging two .prla files. This is:
       - very approximate
       - completely untested
       - not built by default.
      
      To try it out, run "omake bin/merge_prla" followed by
      bin/merge_prla input1.prla input2.prla output.prla
      

Changes  Path
+2 -1 metaprl/filter/OMakefile
+2 -1 metaprl/filter/base/filter_cache.ml
+1 -0 metaprl/filter/filter/OMakefile
Added metaprl/filter/filter/filter_merge_prla.ml
Properties metaprl/filter/filter/filter_merge_prla.ml
+2 -1 metaprl/refiner/reflib/ascii_io_sig.ml