/[mojave]
ViewVC logotype

Revision 2630


Jump to revision: Previous Next
Author: jyh
Date: Sun Apr 4 23:35:20 1999 UTC (22 years, 3 months ago)
Changed paths: 26
Log Message:
Added the primitive support for resource improvement through
rule annotations.  There is still no connection with the parser.


Changed paths

Path Details
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_summary.mli modified , text changed
Directorymetaprl/refiner/reflib/mp_resource.ml modified , text changed
Directorymetaprl/refiner/reflib/mp_resource.mli modified , text changed
Directorymetaprl/refiner/term_gen/term_meta_gen.ml 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_dtactic.mli modified , text changed
Directorymetaprl/theories/base/typeinf.ml modified , text changed
Directorymetaprl/theories/base/typeinf.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_squash.ml modified , text changed
Directorymetaprl/theories/itt/itt_squash.mli modified , text changed
Directorymetaprl/theories/itt/itt_subtype.ml modified , text changed
Directorymetaprl/theories/itt/itt_subtype.mli 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/util/macro.ml modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26