Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1998-10-05 10:43:15 -0700 (Mon, 05 Oct 1998)
Revision: 2488
Log message:

      Removed library_eval since it was moved to editor/ml/.
      Implemented support for link to nuprl 5 library and
      refinement editor.
      

Changes	Path
+6 -7	metaprl/library/Makefile
+7 -3	metaprl/library/basic.ml
+4 -0	metaprl/library/basic.mli
+7 -0	metaprl/library/definition.ml
+2 -1	metaprl/library/int32.ml
Deleted	metaprl/library/library_eval.ml
Deleted	metaprl/library/library_eval.mli
+112 -118	metaprl/library/mathBus.ml
+5 -5	metaprl/library/mbterm.ml
+11 -2	metaprl/library/orb.ml
+19 -2	metaprl/library/registry.ml
+1 -1	metaprl/library/test.ml