Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-19 22:09:03 -0700 (Sat, 19 Jun 2004)
Revision: 5956
Log message:

      - The Lm_big_int.of_string had no support for non-decimal formats (0xN, 0bN,
        etc) and no sanity checking (for example, "0x" was interpreted as 72!). I
        made Lm_big_int.of_string to act the same way as Pervasives.int_of_string.
      
      - I changed the way long arrows are translated to HTML in an attept to make
        then actually be long. Please verify under IE and other browsers!
      
      - The extract term (for primiteve rules) needs to be in a slot.
      

Changes	Path
+3 -3	metaprl/support/display/nuprl_font.ml
+1 -1	metaprl/support/display/summary.ml