Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-09-25 09:52:43 -0700 (Tue, 25 Sep 2001)
Revision: 3410
Log message:

      - Merged the Ocaml 3.02 changes
      
      - Now http server is compiled in by default, but is only started if
      the "-http true" argument is passed or MP_HTTP environment variable
      is set to "true".
      
      - A few other minor changes.
      

Changes  Path
+13 -2 metaprl/Conscript
+38 -5 metaprl/Construct
+1 -0 metaprl/Makefile
Properties metaprl/clib
+7 -4 metaprl/clib/execvp.c
+3 -6 metaprl/clib/getrusage.c
+4 -4 metaprl/clib/readline.c
+1 -1 metaprl/clib/termsize.c
Properties metaprl/debug
Properties metaprl/doc
Properties metaprl/doc/latex/theories
Properties metaprl/doc/latex/theories/base
Properties metaprl/doc/latex/theories/czf
Properties metaprl/doc/latex/theories/fol
Properties metaprl/doc/latex/theories/itt
Properties metaprl/doc/ps/theories
Added metaprl/editor/Conscript
Properties metaprl/editor/Conscript
Properties metaprl/editor/java
+8 -8 metaprl/editor/java/NuprlDebug.java
Properties metaprl/editor/ml
Added metaprl/editor/ml/Conscript
Properties metaprl/editor/ml/Conscript
+1 -1 metaprl/editor/ml/Makefile
+6 -0 metaprl/editor/ml/mp_version.mli
Added metaprl/editor/ml/mpdebug
Properties metaprl/editor/ml/mpdebug
+6 -0 metaprl/editor/ml/mux_channel.ml
+13 -13 metaprl/editor/ml/package_info.ml
+6 -0 metaprl/editor/ml/recursive_lock.ml
+5 -4 metaprl/editor/ml/shell_http.ml
+2 -33 metaprl/editor/ml/shell_mp.ml
+9 -9 metaprl/editor/ml/shell_p4.ml
+3 -0 metaprl/editor/ml/shell_rewrite.ml
+1 -1 metaprl/editor/ml/shell_state.ml
+6 -0 metaprl/editor/ml/shell_tex.ml
Properties metaprl/editor/ml/tests
Properties metaprl/ensemble
+1 -1 metaprl/ensemble/Conscript
Properties metaprl/filter
+1 -0 metaprl/filter/Conscript
Properties metaprl/filter/base
+12 -4 metaprl/filter/base/filter_ast.ml
+3 -1 metaprl/filter/base/filter_cache_fun.ml
+1 -1 metaprl/filter/base/filter_grammar.ml
+48 -47 metaprl/filter/base/filter_hash.ml
+180 -102 metaprl/filter/base/filter_ocaml.ml
+21 -27 metaprl/filter/base/filter_prog.ml
+5 -4 metaprl/filter/base/filter_summary.ml
+8 -11 metaprl/filter/base/free_vars.ml
+42 -43 metaprl/filter/base/mLast_util.ml
Properties metaprl/filter/boot
Properties metaprl/filter/filter
+27 -4 metaprl/filter/filter/Conscript
+5 -5 metaprl/filter/filter/filter_parse.ml
+4 -5 metaprl/filter/filter/prlcomp.ml
Properties metaprl/lib
Added metaprl/lib/Conscript
Properties metaprl/lib/Conscript
Properties metaprl/library
+2 -2 metaprl/library/Conscript
+1 -1 metaprl/library/Makefile
Deleted metaprl/library/int32.ml
Deleted metaprl/library/int32.mli
Added metaprl/library/lint32.ml
Properties metaprl/library/lint32.ml
Added metaprl/library/lint32.mli
Properties metaprl/library/lint32.mli
+10 -12 metaprl/library/mathBus.ml
+5 -5 metaprl/library/mathBus.mli
+1 -1 metaprl/library/mbterm.ml
+6 -6 metaprl/library/registry.ml
+7 -7 metaprl/library/registry.mli
Properties metaprl/mk
+1 -1 metaprl/mk/check_version.sh
+4 -4 metaprl/mk/preface
Properties metaprl/mllib
+0 -1 metaprl/mllib/Makefile
Deleted metaprl/mllib/debug_set.ml
Deleted metaprl/mllib/debug_set.mli
+1 -1 metaprl/mllib/env_arg.ml
+0 -12 metaprl/mllib/mp_debug.ml
+0 -1 metaprl/mllib/mp_debug.mli
Properties metaprl/patches
Added metaprl/patches/camlp4-3.02-opt.patch
Properties metaprl/patches/camlp4-3.02-opt.patch
Added metaprl/patches/camlp4-3.02-plexer.patch
Properties metaprl/patches/camlp4-3.02-plexer.patch
Added metaprl/patches/camlp4-3.02-version.patch
Properties metaprl/patches/camlp4-3.02-version.patch
Added metaprl/patches/camlp4-3.02.spec
Properties metaprl/patches/camlp4-3.02.spec
Added metaprl/patches/ocaml-3.02-1.spec
Properties metaprl/patches/ocaml-3.02-1.spec
Properties metaprl/refiner
Properties metaprl/refiner/refbase
Properties metaprl/refiner/refiner
+3 -0 metaprl/refiner/refiner/Conscript
+1 -1 metaprl/refiner/refiner/refine.ml
Properties metaprl/refiner/reflib
+25 -6 metaprl/refiner/reflib/ml_term.ml
+1 -0 metaprl/refiner/reflib/mp_resource.ml
Properties metaprl/refiner/refsig
Properties metaprl/refiner/rewrite
Properties metaprl/refiner/term_ds
+1 -0 metaprl/refiner/term_ds/term_base_ds.ml
+1 -0 metaprl/refiner/term_ds/term_ds_sig.ml
Properties metaprl/refiner/term_gen
Properties metaprl/refiner/term_std
+1 -0 metaprl/refiner/term_std/term_base_std.ml
+15 -1 metaprl/theories/Conscript
Properties metaprl/theories/base
Added metaprl/theories/base/Conscript
Properties metaprl/theories/base/Conscript
+6 -0 metaprl/theories/base/base_trivial.ml
Properties metaprl/theories/czf
Properties metaprl/theories/fol
Properties metaprl/theories/itt
Added metaprl/theories/itt/Conscript
Properties metaprl/theories/itt/Conscript
Properties metaprl/theories/mc
Properties metaprl/theories/ocaml
Added metaprl/theories/ocaml/Conscript
Properties metaprl/theories/ocaml/Conscript
Properties metaprl/theories/ocaml_doc
Properties metaprl/theories/ocaml_sos
Properties metaprl/theories/reflect_itt
Properties metaprl/theories/sil
Properties metaprl/theories/tactic
Added metaprl/theories/tactic/Conscript
Properties metaprl/theories/tactic/Conscript
+4 -0 metaprl/theories/tactic/base_dform.ml
+29 -6 metaprl/theories/tactic/mptop.ml
+3 -0 metaprl/theories/tactic/nuprl_font.ml
+4 -0 metaprl/theories/tactic/perv.ml
+3 -0 metaprl/theories/tactic/tactic_cache.ml
Properties metaprl/theories/tptp
Properties metaprl/theories/tutorial
Properties metaprl/util
+1 -1 metaprl/util/Conscript
+33 -7 metaprl/util/macro.ml
Properties texinputs