Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2004-02-13 16:41:07 -0800 (Fri, 13 Feb 2004)
Revision: 5374
Log message:

      changed mathbus registry so that it is only parsed and loaded when needed
      

Changes  Path
+8 -2 metaprl/editor/ml/nuprl_run.ml
+25 -19 metaprl/library/mathBus.ml
+5 -4 metaprl/library/mathBus.mli
+67 -50 metaprl/library/mbterm.ml
+5 -4 metaprl/library/mbterm.mli
+8 -8 metaprl/library/registry.ml
+2 -2 metaprl/library/registry.mli