/[mojave]
ViewVC logotype

Revision 3278


Jump to revision: Previous Next
Author: nogin
Date: Wed Jun 20 00:27:36 2001 UTC (20 years, 1 month ago)
Changed paths: 42
Log Message:
- Changed the syntax of resource implementation. Now you no longer need to
re-declare resource types in the implementation. Instead of the declaration
and a Mp_resource.create call, use the following syntax in the implementation:

let resource <name> = <expr>

where <expr> is an expression that of the type Mp_resource.info

- Additionally, it is no longer necessary to use _resource in resource names
and resource annotations.


Changed paths

Path Details
Directorymetaprl/editor/ml/package_sig.mlz modified , text changed
Directorymetaprl/editor/ml/shell_package.ml modified , text changed
Directorymetaprl/filter/base/filter_cache.ml modified , text changed
Directorymetaprl/filter/base/filter_cache.mli modified , text changed
Directorymetaprl/filter/base/filter_cache_fun.ml modified , text changed
Directorymetaprl/filter/base/filter_cache_fun.mli modified , text changed
Directorymetaprl/filter/base/filter_ocaml.ml modified , text changed
Directorymetaprl/filter/base/filter_ocaml.mli modified , text changed
Directorymetaprl/filter/base/filter_prog.ml modified , text changed
Directorymetaprl/filter/base/filter_prog.mli modified , text changed
Directorymetaprl/filter/base/filter_summary.ml modified , text changed
Directorymetaprl/filter/base/filter_summary.mli modified , text changed
Directorymetaprl/filter/base/filter_summary_type.ml modified , text changed
Directorymetaprl/filter/base/filter_summary_util.ml modified , text changed
Directorymetaprl/filter/base/filter_summary_util.mli modified , text changed
Directorymetaprl/filter/base/filter_type.ml modified , text changed
Directorymetaprl/filter/filter/filter_bin.ml modified , text changed
Directorymetaprl/filter/filter/filter_parse.ml 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_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_decidable.ml modified , text changed
Directorymetaprl/theories/itt/itt_decidable.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/mptop.ml modified , text changed
Directorymetaprl/theories/tactic/mptop.mli modified , text changed
Directorymetaprl/theories/tactic/summary.ml modified , text changed
Directorymetaprl/theories/tactic/summary.mli modified , text changed
Directorymetaprl/theories/tactic/top_conversionals.ml modified , text changed
Directorymetaprl/theories/tactic/top_conversionals.mli modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26