Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-02-24 20:26:14 -0800 (Mon, 24 Feb 2003)
Revision: 4121
Log message:

      Added the formatting bounds-check that Aleksey and I have
      talked about.  Ithink I fixed the TeX error; will check that next.
      

Changes	Path
+52 -19	metaprl/refiner/reflib/rformat.ml
+13 -0	metaprl/refiner/reflib/rformat.mli