Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-24 21:15:09 -0700 (Sat, 24 Apr 2004)
Revision: 5718
Log message:

      For the formatter, added an "azone" that assumes that its body is
      "atomic."  That is, the body is to be typeset all or none.  The width
      of an atomic block is 1 unit.
      
      This addresses the formatting problem where multi-character
      sequences were getting split.  By default, if we use UTF-8, the
      formatter would interpret a multi-character unicode sequence
      as multiple characters.  By wrapping it:
          azone <utf-8-sequence> ezone
      the utf-8-sequence gets interpreted as an atomic unit.
      
      This should work properly in prl and html mode.  The TeX version
      is not implemented, but is no big deal for the moment.
      
      For PRL mode, we may or may not want to split multiple character
      Unicode sequences, like atomic["?\239?\191?\189?\239?\191?\189?\239?\191?\189?\239?\191?\189?\239?\191?\189?\239?\191?\189?\239?\191?\189?\239?\191?\189?\239?\191?\189?\239?\191?\189?\239?\191?\189?\239?\191?\189?\239?\191?\189?\239?\191?\189?\239?\191?\189?\239?\191?\189?\239?\191?\189?\239?\191?\189"] (Leftrightarrow)
      since it is actually a sequence of several unicode characters.
      

Changes  Path
+2 -2 metaprl/filter/base/filter_cache_fun.ml
+8 -1 metaprl/mk/make_config.sh
+5 -7 metaprl/refiner/reflib/dform.ml
+1 -1 metaprl/support/display/base_dform.ml
+8 -2 metaprl/support/display/comment.ml
+1 -0 metaprl/support/display/comment.mli
+132 -130 metaprl/support/display/nuprl_font.ml
+1 -0 metaprl/support/display/nuprl_font.mli
+3 -1 metaprl/support/display/summary.ml