Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-11 09:09:05 -0700 (Sun, 11 Apr 2004)
Revision: 5634
Log message:

      Added a slot[str:s, width:n] term that acts as a hint to the formatter
      that typesetting the str:s takes width:n units of horizontal space.
      This partially addresses bug #176.
      
      We should probably define a unicode[str:s, width:n] special term that
      understands that the string is a unicode string.
      
      The typesetter is always free to ignore the width:n hint.
      

Changes  Path
+35 -19 metaprl/filter/base/filter_cache_fun.ml
+10 -5 metaprl/refiner/reflib/dform.ml
+2 -0 metaprl/refiner/reflib/rformat.ml
+1 -0 metaprl/refiner/reflib/rformat.mli
+128 -128 metaprl/support/display/nuprl_font.ml