/[mojave]
ViewVC logotype

Revision 3410


Jump to revision: Previous Next
Author: nogin
Date: Tue Sep 25 16:52:43 2001 UTC (19 years, 10 months ago)
Changed paths: 127 (showing only 100; show all)
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.


Changed paths

Path Details
Directorymetaprl/Conscript modified , text changed
Directorymetaprl/Construct modified , text changed
Directorymetaprl/Makefile modified , text changed
Directorymetaprl/clib/ modified , props changed
Directorymetaprl/clib/execvp.c modified , text changed
Directorymetaprl/clib/getrusage.c modified , text changed
Directorymetaprl/clib/readline.c modified , text changed
Directorymetaprl/clib/termsize.c modified , text changed
Directorymetaprl/debug/ modified , props changed
Directorymetaprl/doc/ modified , props changed
Directorymetaprl/doc/latex/theories/ modified , props changed
Directorymetaprl/doc/latex/theories/base/ modified , props changed
Directorymetaprl/doc/latex/theories/czf/ modified , props changed
Directorymetaprl/doc/latex/theories/fol/ modified , props changed
Directorymetaprl/doc/latex/theories/itt/ modified , props changed
Directorymetaprl/doc/ps/theories/ modified , props changed
Directorymetaprl/editor/Conscript added
Directorymetaprl/editor/java/ modified , props changed
Directorymetaprl/editor/java/NuprlDebug.java modified , text changed
Directorymetaprl/editor/ml/ modified , props changed
Directorymetaprl/editor/ml/Conscript added
Directorymetaprl/editor/ml/Makefile modified , text changed
Directorymetaprl/editor/ml/mp_version.mli modified , text changed
Directorymetaprl/editor/ml/mpdebug added
Directorymetaprl/editor/ml/mux_channel.ml modified , text changed
Directorymetaprl/editor/ml/package_info.ml modified , text changed
Directorymetaprl/editor/ml/recursive_lock.ml modified , text changed
Directorymetaprl/editor/ml/shell_http.ml modified , text changed
Directorymetaprl/editor/ml/shell_mp.ml modified , text changed
Directorymetaprl/editor/ml/shell_p4.ml modified , text changed
Directorymetaprl/editor/ml/shell_rewrite.ml modified , text changed
Directorymetaprl/editor/ml/shell_state.ml modified , text changed
Directorymetaprl/editor/ml/shell_tex.ml modified , text changed
Directorymetaprl/editor/ml/tests/ modified , props changed
Directorymetaprl/ensemble/ modified , props changed
Directorymetaprl/ensemble/Conscript modified , text changed
Directorymetaprl/filter/ modified , props changed
Directorymetaprl/filter/Conscript modified , text changed
Directorymetaprl/filter/base/ modified , props changed
Directorymetaprl/filter/base/filter_ast.ml modified , text changed
Directorymetaprl/filter/base/filter_cache_fun.ml modified , text changed
Directorymetaprl/filter/base/filter_grammar.ml modified , text changed
Directorymetaprl/filter/base/filter_hash.ml modified , text changed
Directorymetaprl/filter/base/filter_ocaml.ml modified , text changed
Directorymetaprl/filter/base/filter_prog.ml modified , text changed
Directorymetaprl/filter/base/filter_summary.ml modified , text changed
Directorymetaprl/filter/base/free_vars.ml modified , text changed
Directorymetaprl/filter/base/mLast_util.ml modified , text changed
Directorymetaprl/filter/boot/ modified , props changed
Directorymetaprl/filter/filter/ modified , props changed
Directorymetaprl/filter/filter/Conscript modified , text changed
Directorymetaprl/filter/filter/filter_parse.ml modified , text changed
Directorymetaprl/filter/filter/prlcomp.ml modified , text changed
Directorymetaprl/lib/ modified , props changed
Directorymetaprl/lib/Conscript added
Directorymetaprl/library/ modified , props changed
Directorymetaprl/library/Conscript modified , text changed
Directorymetaprl/library/Makefile modified , text changed
Directorymetaprl/library/int32.ml deleted
Directorymetaprl/library/int32.mli deleted
Directorymetaprl/library/lint32.ml added
Directorymetaprl/library/lint32.mli added
Directorymetaprl/library/mathBus.ml modified , text changed
Directorymetaprl/library/mathBus.mli modified , text changed
Directorymetaprl/library/mbterm.ml modified , text changed
Directorymetaprl/library/registry.ml modified , text changed
Directorymetaprl/library/registry.mli modified , text changed
Directorymetaprl/mk/ modified , props changed
Directorymetaprl/mk/check_version.sh modified , text changed
Directorymetaprl/mk/preface modified , text changed
Directorymetaprl/mllib/ modified , props changed
Directorymetaprl/mllib/Makefile modified , text changed
Directorymetaprl/mllib/debug_set.ml deleted
Directorymetaprl/mllib/debug_set.mli deleted
Directorymetaprl/mllib/env_arg.ml modified , text changed
Directorymetaprl/mllib/mp_debug.ml modified , text changed
Directorymetaprl/mllib/mp_debug.mli modified , text changed
Directorymetaprl/patches/ added
Directorymetaprl/patches/camlp4-3.02-opt.patch added
Directorymetaprl/patches/camlp4-3.02-plexer.patch added
Directorymetaprl/patches/camlp4-3.02-version.patch added
Directorymetaprl/patches/camlp4-3.02.spec added
Directorymetaprl/patches/ocaml-3.02-1.spec added
Directorymetaprl/refiner/ modified , props changed
Directorymetaprl/refiner/refbase/ modified , props changed
Directorymetaprl/refiner/refiner/ modified , props changed
Directorymetaprl/refiner/refiner/Conscript modified , text changed
Directorymetaprl/refiner/refiner/refine.ml modified , text changed
Directorymetaprl/refiner/reflib/ modified , props changed
Directorymetaprl/refiner/reflib/ml_term.ml modified , text changed
Directorymetaprl/refiner/reflib/mp_resource.ml modified , text changed
Directorymetaprl/refiner/refsig/ modified , props changed
Directorymetaprl/refiner/rewrite/ modified , props changed
Directorymetaprl/refiner/term_ds/ modified , props changed
Directorymetaprl/refiner/term_ds/term_base_ds.ml modified , text changed
Directorymetaprl/refiner/term_ds/term_ds_sig.ml modified , text changed
Directorymetaprl/refiner/term_gen/ modified , props changed
Directorymetaprl/refiner/term_std/ modified , props changed
Directorymetaprl/refiner/term_std/term_base_std.ml modified , text changed
Directorymetaprl/theories/Conscript modified , text changed
[...]

  ViewVC Help
Powered by ViewVC 1.1.26