/[mojave]
ViewVC logotype

Revision 2190


Jump to revision: Previous Next
Author: jyh
Date: Thu May 28 13:48:44 1998 UTC (23 years, 2 months ago)
Changed paths: 129 (showing only 100; show all)
Log Message:
Updated the editor to use new Refiner structure.
ITT needs dform names.


Changed paths

Path Details
Directorymetaprl/Makefile modified , text changed
Directorymetaprl/editor/ml/ modified , props changed
Directorymetaprl/editor/ml/Makefile modified , text changed
Directorymetaprl/editor/ml/io_proof.ml added
Directorymetaprl/editor/ml/io_proof.mli added
Directorymetaprl/editor/ml/io_proof_type.mlz added
Directorymetaprl/editor/ml/package_df.ml modified , text changed
Directorymetaprl/editor/ml/package_df.mli 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/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_p4.ml modified , text changed
Directorymetaprl/editor/ml/shell_p4.mli 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_type.mlz modified , text changed
Directorymetaprl/filter/ modified , props changed
Directorymetaprl/filter/Makefile modified , text changed
Directorymetaprl/filter/filter_bin.ml modified , text changed
Directorymetaprl/filter/filter_cache.ml modified , text changed
Directorymetaprl/filter/filter_cache.mli modified , text changed
Directorymetaprl/filter/filter_cache_fun.ml modified , text changed
Directorymetaprl/filter/filter_parse.ml modified , text changed
Directorymetaprl/filter/filter_prog.ml modified , text changed
Directorymetaprl/filter/filter_prog.mli modified , text changed
Directorymetaprl/filter/filter_proof.ml deleted
Directorymetaprl/filter/filter_proof.mli deleted
Directorymetaprl/filter/filter_proof_type.mlz deleted
Directorymetaprl/filter/filter_summary.ml modified , text changed
Directorymetaprl/filter/filter_summary.mli 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_eval.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/mk/config modified , text changed
Directorymetaprl/refiner/Makefile modified , text changed
Directorymetaprl/theories/base/base_cache.ml modified , text changed
Directorymetaprl/theories/base/base_cache.mli modified , text changed
Directorymetaprl/theories/base/base_dform.ml modified , text changed
Directorymetaprl/theories/base/base_dtactic.ml modified , text changed
Directorymetaprl/theories/base/base_dtactic.mli modified , text changed
Directorymetaprl/theories/base/evaluator.ml modified , text changed
Directorymetaprl/theories/base/evaluator.mli modified , text changed
Directorymetaprl/theories/base/typeinf.ml modified , text changed
Directorymetaprl/theories/base/typeinf.mli modified , text changed
Directorymetaprl/theories/itt/Makefile modified , text changed
Directorymetaprl/theories/itt/itt_atom.ml modified , text changed
Directorymetaprl/theories/itt/itt_atom.mli modified , text changed
Directorymetaprl/theories/itt/itt_dfun.ml modified , text changed
Directorymetaprl/theories/itt/itt_dfun.mli modified , text changed
Directorymetaprl/theories/itt/itt_dprod.ml modified , text changed
Directorymetaprl/theories/itt/itt_dprod.mli modified , text changed
Directorymetaprl/theories/itt/itt_equal.ml modified , text changed
Directorymetaprl/theories/itt/itt_equal.mli modified , text changed
Directorymetaprl/theories/itt/itt_ext_equal.ml modified , text changed
Directorymetaprl/theories/itt/itt_ext_equal.mli modified , text changed
Directorymetaprl/theories/itt/itt_fun.ml modified , text changed
Directorymetaprl/theories/itt/itt_int.ml modified , text changed
Directorymetaprl/theories/itt/itt_int.mli modified , text changed
Directorymetaprl/theories/itt/itt_isect.ml modified , text changed
Directorymetaprl/theories/itt/itt_isect.mli modified , text changed
Directorymetaprl/theories/itt/itt_list.ml modified , text changed
Directorymetaprl/theories/itt/itt_list.mli modified , text changed
Directorymetaprl/theories/itt/itt_logic.ml modified , text changed
Directorymetaprl/theories/itt/itt_logic.mli modified , text changed
Directorymetaprl/theories/itt/itt_prec.ml modified , text changed
Directorymetaprl/theories/itt/itt_prec.mli modified , text changed
Directorymetaprl/theories/itt/itt_prod.ml modified , text changed
Directorymetaprl/theories/itt/itt_quotient.ml modified , text changed
Directorymetaprl/theories/itt/itt_quotient.mli modified , text changed
Directorymetaprl/theories/itt/itt_redrules.ml modified , text changed
Directorymetaprl/theories/itt/itt_rfun.ml modified , text changed
Directorymetaprl/theories/itt/itt_rfun.mli modified , text changed
Directorymetaprl/theories/itt/itt_set.ml modified , text changed
[...]

  ViewVC Help
Powered by ViewVC 1.1.26