/[mojave]
ViewVC logotype

Revision 2859


Jump to revision: Previous Next
Author: nogin
Date: Mon Nov 22 05:43:56 1999 UTC (21 years, 8 months ago)
Changed paths: 11
Log Message:
Made MetaPRL compatible with ocaml-2.03/camlp4-2.03

At the same time it became incompatible with ocaml-2.02/camlp4-2.02...


Changed paths

Path Details
Directorymetaprl/filter/base/filter_hash.ml modified , text changed
Directorymetaprl/filter/base/filter_ocaml.ml modified , text changed
Directorymetaprl/filter/base/filter_prog.ml modified , text changed
Directorymetaprl/filter/base/mLast_util.ml modified , text changed
Directorymetaprl/mk/preface modified , text changed
Directorymetaprl/theories/caml/caml_syntax.mli modified , text changed
Directorymetaprl/theories/ocaml/ocaml.mlz modified , text changed
Directorymetaprl/theories/ocaml/ocaml_sig_df.ml modified , text changed
Directorymetaprl/theories/ocaml/ocaml_str_df.ml modified , text changed
Directorymetaprl/theories/tactic/mptop.ml modified , text changed
Directorymetaprl/util/macro.ml modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26