Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-10-28 14:06:32 -0800 (Sun, 28 Oct 2001)
Revision: 3429
Log message:

      - Made sure that div by zero and mod zero raise proper exceptions in
      Mp_big_int, Mp_num and Base_meta
      - Made the Mp_num.num and Mp_big_int.big_int types abstract.
      - Minor changes in the "make realclean" scripts.
      

Changes	Path
+1 -1	metaprl/Makefile
+18 -16	metaprl/filter/base/filter_ocaml.ml
+14 -11	metaprl/filter/base/filter_summary.ml
+2 -2	metaprl/filter/base/term_grammar.ml
+2 -2	metaprl/filter/boot/proof_term_boot.ml
+20 -22	metaprl/library/basic.ml
+2 -2	metaprl/library/link.ml
+44 -50	metaprl/library/nuprl5.ml
+2 -2	metaprl/library/orb.ml
+2 -2	metaprl/mk/cvs_realclean.sh
+12 -8	metaprl/mllib/mp_big_int.ml
+7 -7	metaprl/mllib/mp_big_int.mli
+15 -9	metaprl/mllib/mp_num.ml
+7 -10	metaprl/mllib/mp_num.mli
+7 -4	metaprl/theories/base/base_meta.ml
+1 -1	metaprl/theories/tactic/summary.ml