Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2000-10-08 09:38:54 -0700 (Sun, 08 Oct 2000)
Revision: 3082
Log message:

      Fixed the problem with leftward-moving margins, for example:
         pushm[5] pushm[3]
      
      The choice I made is similar to Carl's recommendation.
      If the offset is negative, the current margin string is
      always truncated and replaced with the new margin string.
      However, an error message is printed if the overlap does not
      match.
      

Changes	Path
+43 -2	metaprl/refiner/reflib/rformat.ml