/[mojave]
ViewVC logotype

Revision 2822


Jump to revision: Previous Next
Author: nogin
Date: Fri Oct 22 01:07:59 1999 UTC (21 years, 9 months ago)
Changed paths: 183 (showing only 100; show all)
Log Message:
Added new function to mp_debug
let show_loading s = if !debug_load then Printf.eprintf s eflush

and replaced all usages of debug_load with show_loading


Changed paths

Path Details
Directorymetaprl/editor/ml/io_proof.ml modified , text changed
Directorymetaprl/editor/ml/library_eval.ml modified , text changed
Directorymetaprl/editor/ml/library_test.ml modified , text changed
Directorymetaprl/editor/ml/mp_top.ml modified , text changed
Directorymetaprl/editor/ml/package_df.ml modified , text changed
Directorymetaprl/editor/ml/package_edit.ml modified , text changed
Directorymetaprl/editor/ml/package_info.ml modified , text changed
Directorymetaprl/editor/ml/package_int.ml modified , text changed
Directorymetaprl/editor/ml/proof_edit.ml modified , text changed
Directorymetaprl/editor/ml/proof_step.ml modified , text changed
Directorymetaprl/editor/ml/shell.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_rewrite.ml modified , text changed
Directorymetaprl/editor/ml/shell_rule.ml modified , text changed
Directorymetaprl/evaluator/evaluator.ml modified , text changed
Directorymetaprl/evaluator/itt_redrules.ml modified , text changed
Directorymetaprl/filter/base/filter_ast.ml modified , text changed
Directorymetaprl/filter/base/filter_buffer.ml modified , text changed
Directorymetaprl/filter/base/filter_cache.ml modified , text changed
Directorymetaprl/filter/base/filter_cache_fun.ml modified , text changed
Directorymetaprl/filter/base/filter_comment.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_html.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/filter_summary_io.ml modified , text changed
Directorymetaprl/filter/base/filter_summary_util.ml modified , text changed
Directorymetaprl/filter/base/filter_util.ml modified , text changed
Directorymetaprl/filter/base/free_vars.ml modified , text changed
Directorymetaprl/filter/base/mLast_util.ml modified , text changed
Directorymetaprl/filter/base/term_grammar.ml modified , text changed
Directorymetaprl/filter/boot/conversionals_boot.ml modified , text changed
Directorymetaprl/filter/boot/proof_boot.ml modified , text changed
Directorymetaprl/filter/boot/sequent_boot.ml modified , text changed
Directorymetaprl/filter/boot/tactic_boot.ml modified , text changed
Directorymetaprl/filter/boot/tacticals_boot.ml modified , text changed
Directorymetaprl/filter/filter/filter_bin.ml modified , text changed
Directorymetaprl/filter/filter/filter_convert.ml modified , text changed
Directorymetaprl/filter/filter/filter_main.ml modified , text changed
Directorymetaprl/filter/filter/filter_parse.ml modified , text changed
Directorymetaprl/filter/filter/prlcomp.ml modified , text changed
Directorymetaprl/library/ascii_scan.ml modified , text changed
Directorymetaprl/library/basic.ml modified , text changed
Directorymetaprl/library/bigInt.ml modified , text changed
Directorymetaprl/library/db.ml modified , text changed
Directorymetaprl/library/definition.ml modified , text changed
Directorymetaprl/library/int32.ml modified , text changed
Directorymetaprl/library/library.ml modified , text changed
Directorymetaprl/library/library_type_base.ml modified , text changed
Directorymetaprl/library/link.ml modified , text changed
Directorymetaprl/library/mathBus.ml modified , text changed
Directorymetaprl/library/mbterm.ml modified , text changed
Directorymetaprl/library/nuprl5.ml modified , text changed
Directorymetaprl/library/object_id.ml modified , text changed
Directorymetaprl/library/oidtable.ml modified , text changed
Directorymetaprl/library/orb.ml modified , text changed
Directorymetaprl/library/registry.ml modified , text changed
Directorymetaprl/library/socketIo.ml modified , text changed
Directorymetaprl/library/tentfunctor.ml modified , text changed
Directorymetaprl/library/test.ml modified , text changed
Directorymetaprl/library/utils.ml modified , text changed
Directorymetaprl/mllib/array_util.ml modified , text changed
Directorymetaprl/mllib/bitset.ml modified , text changed
Directorymetaprl/mllib/env_arg.ml modified , text changed
Directorymetaprl/mllib/file_base.ml modified , text changed
Directorymetaprl/mllib/file_type_base.ml modified , text changed
Directorymetaprl/mllib/file_util.ml modified , text changed
Directorymetaprl/mllib/filename_util.ml modified , text changed
Directorymetaprl/mllib/imp_dag.ml modified , text changed
Directorymetaprl/mllib/list_util.ml modified , text changed
Directorymetaprl/mllib/mp_ctype.ml modified , text changed
Directorymetaprl/mllib/mp_debug.ml modified , text changed
Directorymetaprl/mllib/mp_debug.mli modified , text changed
Directorymetaprl/mllib/precedence.ml modified , text changed
Directorymetaprl/mllib/ref_util.ml modified , text changed
Directorymetaprl/mllib/string_util.ml modified , text changed
Directorymetaprl/refiner/refbase/opname.ml modified , text changed
Directorymetaprl/refiner/refiner/refine.ml modified , text changed
Directorymetaprl/refiner/reflib/dform.ml modified , text changed
Directorymetaprl/refiner/reflib/dform_print.ml modified , text changed
Directorymetaprl/refiner/reflib/ml_file.ml modified , text changed
Directorymetaprl/refiner/reflib/ml_format.ml modified , text changed
Directorymetaprl/refiner/reflib/ml_print.ml modified , text changed
Directorymetaprl/refiner/reflib/ml_string.ml modified , text changed
Directorymetaprl/refiner/reflib/mp_resource.ml modified , text changed
Directorymetaprl/refiner/reflib/refine_exn.ml modified , text changed
Directorymetaprl/refiner/reflib/rformat.ml modified , text changed
Directorymetaprl/refiner/reflib/simple_print.ml modified , text changed
Directorymetaprl/refiner/reflib/term_dtable.ml modified , text changed
Directorymetaprl/refiner/reflib/term_match_table.ml modified , text changed
Directorymetaprl/refiner/reflib/term_stable.ml modified , text changed
Directorymetaprl/refiner/reflib/term_table.ml modified , text changed
Directorymetaprl/refiner/reflib/theory.ml modified , text changed
Directorymetaprl/refiner/rewrite/rewrite.ml modified , text changed
Directorymetaprl/refiner/rewrite/rewrite_build_contractum.ml modified , text changed
Directorymetaprl/refiner/rewrite/rewrite_compile_contractum.ml modified , text changed
Directorymetaprl/refiner/rewrite/rewrite_compile_redex.ml modified , text changed
[...]

  ViewVC Help
Powered by ViewVC 1.1.26