Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-06 20:15:53 -0700 (Wed, 06 Jul 2005)
Revision: 7566
Log message:

      Added symbols: box, bigcirc.
      

Changes  Path
+6 -0 metaprl/support/display/mpsymbols.ml
+2 -0 metaprl/support/display/mpsymbols.mli