Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1998-12-17 07:57:52 -0800 (Thu, 17 Dec 1998)
Revision: 2523
Log message:

      added improvements to mathbus speed, and functionality for edits in nuprl
      

Changes	Path
+39 -11	metaprl/editor/ml/library_eval.ml
+1 -0	metaprl/editor/ml/library_eval.mli
+2 -0	metaprl/editor/ml/library_test.mli
+1 -0	metaprl/library/basic.ml
+1 -0	metaprl/library/basic.mli
+43 -5	metaprl/library/db.ml
+1 -0	metaprl/library/link.ml
+56 -26	metaprl/library/mathBus.ml
+5 -8	metaprl/library/mathBus.mli
+9 -2	metaprl/library/mbterm.ml
+1 -0	metaprl/library/mbterm.mli
+16 -0	metaprl/library/registry.ml
+4 -0	metaprl/library/registry.mli
+4 -0	metaprl/library/registry.txt
Added	metaprl/mbs-mpl.txt
Properties	metaprl/mbs-mpl.txt