Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-05-04 14:52:38 -0700 (Sun, 04 May 2003)
Revision: 4558
Log message:

      I just noticed that metaprl-cvs will accept .gz files as binary.
      
      Added true-type fonts, mainly for use on Windows.  They are derived
      from the X11 Luxi fonts.
      
      Changed several mathbb display forms in nuprl_font.ml.  Somehow,
      the UTF-8 encoding was invalid, and I wasn't sure what was intended.
      The changed chars now display as bold caps; feel free to change this
      back if there is a better way.
      

Changes	Path
+22 -22	metaprl/support/display/nuprl_font.ml
Added	metaprl/util/unicode.ml
Properties	metaprl/util/unicode.ml