/[mojave]
ViewVC logotype

Revision 2629


Jump to revision: Previous Next
Author: jyh
Date: Sun Apr 4 22:07:38 1999 UTC (22 years, 3 months ago)
Changed paths: 95
Log Message:
This is the first phase for modifying resources.
The Mp_resource interface has been substantially simplified, but
I believe that it retains as much functionality as it did before
the change.

The next step for me to add the Mp_resource support for
adding resources as rule annotations.


Changed paths

Path Details
Directorymetaprl/editor/ml/package_info.ml modified , text changed
Directorymetaprl/editor/ml/shell_mp.ml modified , text changed
Directorymetaprl/filter/filter_comment.ml modified , text changed
Directorymetaprl/filter/filter_hash.ml modified , text changed
Directorymetaprl/filter/filter_ocaml.ml modified , text changed
Directorymetaprl/filter/filter_prog.ml modified , text changed
Directorymetaprl/filter/mLast_util.ml modified , text changed
Directorymetaprl/mk/rules modified , text changed
Directorymetaprl/refiner/reflib/mp_resource.ml modified , text changed
Directorymetaprl/refiner/reflib/mp_resource.mli modified , text changed
Directorymetaprl/theories/base/base_auto_tactic.ml modified , text changed
Directorymetaprl/theories/base/base_auto_tactic.mli 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_dtactic.ml modified , text changed
Directorymetaprl/theories/base/base_rewrite.ml modified , text changed
Directorymetaprl/theories/base/typeinf.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_all.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_and.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_dall.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_dexists.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_empty.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_eq.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_eq_inner.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_exists.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_false.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_implies.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_member.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_or.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_pre_set.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_rel.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_sall.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_sep.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_set.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_set_ext.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_set_ind.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_sexists.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_small.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_true.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_union.ml modified , text changed
Directorymetaprl/theories/fol/fol_all.ml modified , text changed
Directorymetaprl/theories/fol/fol_and.ml modified , text changed
Directorymetaprl/theories/fol/fol_bisect_itt.ml modified , text changed
Directorymetaprl/theories/fol/fol_exists.ml modified , text changed
Directorymetaprl/theories/fol/fol_false.ml modified , text changed
Directorymetaprl/theories/fol/fol_implies.ml modified , text changed
Directorymetaprl/theories/fol/fol_not.ml modified , text changed
Directorymetaprl/theories/fol/fol_or.ml modified , text changed
Directorymetaprl/theories/fol/fol_struct.ml modified , text changed
Directorymetaprl/theories/fol/fol_true.ml modified , text changed
Directorymetaprl/theories/fol/fol_type.ml modified , text changed
Directorymetaprl/theories/fol/fol_univ.ml modified , text changed
Directorymetaprl/theories/fol/fol_univ_itt.ml modified , text changed
Directorymetaprl/theories/itt/itt_atom.ml modified , text changed
Directorymetaprl/theories/itt/itt_atom_bool.ml modified , text changed
Directorymetaprl/theories/itt/itt_bisect.ml modified , text changed
Directorymetaprl/theories/itt/itt_bool.ml modified , text changed
Directorymetaprl/theories/itt/itt_bunion.ml modified , text changed
Directorymetaprl/theories/itt/itt_dfun.ml modified , text changed
Directorymetaprl/theories/itt/itt_dprod.ml modified , text changed
Directorymetaprl/theories/itt/itt_equal.ml modified , text changed
Directorymetaprl/theories/itt/itt_fset.ml 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_bool.ml modified , text changed
Directorymetaprl/theories/itt/itt_isect.ml modified , text changed
Directorymetaprl/theories/itt/itt_list.ml modified , text changed
Directorymetaprl/theories/itt/itt_list2.ml modified , text changed
Directorymetaprl/theories/itt/itt_logic.ml modified , text changed
Directorymetaprl/theories/itt/itt_prec.ml 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_rfun.ml modified , text changed
Directorymetaprl/theories/itt/itt_set.ml modified , text changed
Directorymetaprl/theories/itt/itt_squash.ml modified , text changed
Directorymetaprl/theories/itt/itt_squash.mli modified , text changed
Directorymetaprl/theories/itt/itt_srec.ml modified , text changed
Directorymetaprl/theories/itt/itt_struct.ml modified , text changed
Directorymetaprl/theories/itt/itt_subtype.ml modified , text changed
Directorymetaprl/theories/itt/itt_tsub.ml modified , text changed
Directorymetaprl/theories/itt/itt_tunion.ml modified , text changed
Directorymetaprl/theories/itt/itt_union.ml modified , text changed
Directorymetaprl/theories/itt/itt_unit.ml modified , text changed
Directorymetaprl/theories/itt/itt_void.ml modified , text changed
Directorymetaprl/theories/itt/itt_w.ml modified , text changed
Directorymetaprl/theories/reflect_itt/refl_raw_term.ml modified , text changed
Directorymetaprl/theories/reflect_itt/refl_term.ml modified , text changed
Directorymetaprl/theories/reflect_itt/refl_var.ml modified , text changed
Directorymetaprl/theories/tactic/conversionals.ml modified , text changed
Directorymetaprl/theories/tactic/conversionals.mli modified , text changed
Directorymetaprl/theories/tactic/mptop.ml modified , text changed
Directorymetaprl/theories/tactic/mptop.mli modified , text changed
Directorymetaprl/theories/tactic/pre_tactic_type.ml added
Directorymetaprl/theories/tactic/pre_tactic_type.mli added
Directorymetaprl/theories/tptp/tptp.ml modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26