/[mojave]/metaprl/theories
ViewVC logotype

Index of /metaprl/theories

Files shown:2
Directory revision: 3588 (of 13286)
Sticky Revision:


File Rev. Age Author Last log entry
 Parent Directory        
base/  3584  19 years  nogin   - Added the comment module to the theories.pdf ("make latex"). - Added a hack a…
caml/  2859  21 years  nogin   Made MetaPRL compatible with ocaml-2.03/camlp4-2.03 At the same time it became …
czf/  3585  19 years  kopylov   Correct a typo in CZF documentation.
fol/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
itt/  3586  19 years  nogin   Noop commit - I've only fixed the CRLF/LF mixed line terminators.
lf/  2901  21 years  nogin   Added profiling comtrol to some tests Added explicit include of the mk/preface …
mc/  3588  19 years  emre   Updating modules so that they generate documentation for theories.pdf. Right no…
ocaml/  3434  19 years  jyh   Added mc directory.
ocaml_doc/  3584  19 years  nogin   - Added the comment module to the theories.pdf ("make latex"). - Added a hack a…
ocaml_sos/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
reflect_itt/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
sil/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
tactic/  3584  19 years  nogin   - Added the comment module to the theories.pdf ("make latex"). - Added a hack a…
tptp/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
tutorial/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
.cprc  2047  24 years  jyh   This is an ocaml version with subtyping, type inference, d and eqcd tactics. It…
Conscript  3576  19 years  emre   These updates to the Conscripts allow for a compiles, started in the MC source t…

  ViewVC Help
Powered by ViewVC 1.1.26