/[mojave]/metaprl/theories
ViewVC logotype

Index of /metaprl/theories

Files shown:2
Directory revision: 3592 (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…
czf/  3591  19 years  nogin   - Added an option to be have "THEORIES=all" in mk/config (instead of THEORIES="l…
fol/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
itt/  3591  19 years  nogin   - Added an option to be have "THEORIES=all" in mk/config (instead of THEORIES="l…
lf/  2901  21 years  nogin   Added profiling comtrol to some tests Added explicit include of the mk/preface …
mc/  3592  19 years  emre   Some more documentation. I'll be able to document more things when the MC devel…
ocaml/  3434  19 years  jyh   Added mc directory.
ocaml_doc/  3591  19 years  nogin   - Added an option to be have "THEORIES=all" in mk/config (instead of THEORIES="l…
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/  3591  19 years  nogin   - Added an option to be have "THEORIES=all" in mk/config (instead of THEORIES="l…
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  23 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