/[mojave]
ViewVC logotype

Revision 2283


Jump to revision: Previous Next
Author: jyh
Date: Thu Jul 2 18:38:08 1998 UTC (23 years, 1 month ago)
Changed paths: 226 (showing only 100; show all)
Log Message:
Refiner modules now raise RefineError exceptions directly.
Modules in this revision have two versions: one that raises
verbose exceptions, and another that uses a generic exception.


Changed paths

Path Details
Directorymetaprl/editor/emacs/nuprl.el modified , text changed
Directorymetaprl/editor/ml/Makefile modified , text changed
Directorymetaprl/editor/ml/io_proof.ml modified , text changed
Directorymetaprl/editor/ml/package_df.ml modified , text changed
Directorymetaprl/editor/ml/package_info.ml modified , text changed
Directorymetaprl/editor/ml/package_info.mli modified , text changed
Directorymetaprl/editor/ml/package_type.mlz modified , text changed
Directorymetaprl/editor/ml/proof.ml modified , text changed
Directorymetaprl/editor/ml/proof.mli modified , text changed
Directorymetaprl/editor/ml/proof_edit.ml modified , text changed
Directorymetaprl/editor/ml/proof_edit.mli modified , text changed
Directorymetaprl/editor/ml/proof_step.ml modified , text changed
Directorymetaprl/editor/ml/proof_step.mli modified , text changed
Directorymetaprl/editor/ml/proof_type.mlz modified , text changed
Directorymetaprl/editor/ml/shell.ml modified , text changed
Directorymetaprl/editor/ml/shell.mli modified , text changed
Directorymetaprl/editor/ml/shell_null.ml modified , text changed
Directorymetaprl/editor/ml/shell_rewrite.ml modified , text changed
Directorymetaprl/editor/ml/shell_rewrite.mli modified , text changed
Directorymetaprl/editor/ml/shell_rule.ml modified , text changed
Directorymetaprl/editor/ml/shell_rule.mli modified , text changed
Directorymetaprl/editor/ml/y.ml modified , text changed
Directorymetaprl/filter/filter_cache.ml modified , text changed
Directorymetaprl/filter/filter_cache.mli modified , text changed
Directorymetaprl/filter/filter_ocaml.ml modified , text changed
Directorymetaprl/filter/filter_parse.ml modified , text changed
Directorymetaprl/filter/filter_prog.ml modified , text changed
Directorymetaprl/filter/filter_summary.ml modified , text changed
Directorymetaprl/filter/filter_util.ml modified , text changed
Directorymetaprl/filter/prlcomp.ml modified , text changed
Directorymetaprl/filter/term_grammar.ml modified , text changed
Directorymetaprl/library/basic.ml modified , text changed
Directorymetaprl/library/db.ml modified , text changed
Directorymetaprl/library/definition.ml modified , text changed
Directorymetaprl/library/library.ml modified , text changed
Directorymetaprl/library/library_eval.ml modified , text changed
Directorymetaprl/library/link.ml modified , text changed
Directorymetaprl/library/mbterm.ml modified , text changed
Directorymetaprl/library/nuprl5.ml modified , text changed
Directorymetaprl/library/orb.ml modified , text changed
Directorymetaprl/mk/config modified , text changed
Directorymetaprl/mllib/Makefile modified , text changed
Directorymetaprl/mllib/debug.ml modified , text changed
Directorymetaprl/refiner/Makefile modified , text changed
Directorymetaprl/refiner/refiner/ modified , props changed
Directorymetaprl/refiner/refiner/Files modified , text changed
Directorymetaprl/refiner/refiner/Makefile modified , text changed
Directorymetaprl/refiner/refiner/refine.ml modified , text changed
Directorymetaprl/refiner/refiner/refine.mli modified , text changed
Directorymetaprl/refiner/refiner/refine_error.ml added
Directorymetaprl/refiner/refiner/refine_error.mli added
Directorymetaprl/refiner/refiner/refine_errors.ml deleted
Directorymetaprl/refiner/refiner/refine_errors.mli deleted
Directorymetaprl/refiner/refiner/refiner.ml modified , text changed
Directorymetaprl/refiner/refiner/refiner_ds.ml modified , text changed
Directorymetaprl/refiner/refiner/refiner_ds.mli modified , text changed
Directorymetaprl/refiner/refiner/refiner_ds_simp.ml added
Directorymetaprl/refiner/refiner/refiner_ds_simp.mli added
Directorymetaprl/refiner/refiner/refiner_std.ml modified , text changed
Directorymetaprl/refiner/refiner/refiner_std.mli modified , text changed
Directorymetaprl/refiner/refiner/refiner_std_simp.ml added
Directorymetaprl/refiner/refiner/refiner_std_simp.mli added
Directorymetaprl/refiner/refiner/rewrite.ml deleted
Directorymetaprl/refiner/refiner/rewrite.mli deleted
Directorymetaprl/refiner/refiner/rewrite.mlip added
Directorymetaprl/refiner/refiner/rewrite.mlp added
Directorymetaprl/refiner/reflib/dform.ml modified , text changed
Directorymetaprl/refiner/reflib/ml_format.ml modified , text changed
Directorymetaprl/refiner/reflib/refine_exn.ml modified , text changed
Directorymetaprl/refiner/reflib/refine_exn.mli modified , text changed
Directorymetaprl/refiner/reflib/simple_print.ml modified , text changed
Directorymetaprl/refiner/reflib/term_dtable.ml modified , text changed
Directorymetaprl/refiner/refsig/ modified , props changed
Directorymetaprl/refiner/refsig/Files modified , text changed
Directorymetaprl/refiner/refsig/refine_error.h added
Directorymetaprl/refiner/refsig/refine_error_sig.ml added
Directorymetaprl/refiner/refsig/refine_error_sig.mli added
Directorymetaprl/refiner/refsig/refine_errors_sig.mlz deleted
Directorymetaprl/refiner/refsig/refine_sig.ml modified , text changed
Directorymetaprl/refiner/refsig/refiner_sig.ml modified , text changed
Directorymetaprl/refiner/refsig/rewrite_sig.ml modified , text changed
Directorymetaprl/refiner/refsig/term_addr_sig.ml modified , text changed
Directorymetaprl/refiner/refsig/term_base_sig.ml added
Directorymetaprl/refiner/refsig/term_meta_sig.ml modified , text changed
Directorymetaprl/refiner/refsig/term_op_sig.ml modified , text changed
Directorymetaprl/refiner/refsig/term_simple_sig.mlz modified , text changed
Directorymetaprl/refiner/term_ds/ modified , props changed
Directorymetaprl/refiner/term_ds/Files modified , text changed
Directorymetaprl/refiner/term_ds/Makefile modified , text changed
Directorymetaprl/refiner/term_ds/term_base_ds.mlip added
Directorymetaprl/refiner/term_ds/term_base_ds.mlp added
Directorymetaprl/refiner/term_ds/term_ds.ml modified , text changed
Directorymetaprl/refiner/term_ds/term_ds.mli modified , text changed
Directorymetaprl/refiner/term_ds/term_ds_sig.ml added
Directorymetaprl/refiner/term_ds/term_eval_ds.ml deleted
Directorymetaprl/refiner/term_ds/term_eval_ds.mli deleted
Directorymetaprl/refiner/term_ds/term_eval_ds.mlip added
Directorymetaprl/refiner/term_ds/term_eval_ds.mlp added
Directorymetaprl/refiner/term_ds/term_op_ds.ml deleted
Directorymetaprl/refiner/term_ds/term_op_ds.mli deleted
[...]

  ViewVC Help
Powered by ViewVC 1.1.26