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