/[mojave]/metaprl
ViewVC logotype

Index of /metaprl

Files shown:7
Directory revision: 3592 (of 13286)
Sticky Revision:


File Rev. Age Author Last log entry
 Parent Directory        
bin/  2843  21 years  nogin   Remove bin/convert on "make clean"
clib/  3576  19 years  emre   These updates to the Conscripts allow for a compiles, started in the MC source t…
debug/  3532  19 years  nogin   I am committing David Bustos' changes to the cons build system for Metaprl. See…
doc/  3592  19 years  emre   Some more documentation. I'll be able to document more things when the MC devel…
editor/  3591  19 years  nogin   - Added an option to be have "THEORIES=all" in mk/config (instead of THEORIES="l…
ensemble/  3576  19 years  emre   These updates to the Conscripts allow for a compiles, started in the MC source t…
filter/  3584  19 years  nogin   - Added the comment module to the theories.pdf ("make latex"). - Added a hack a…
lib/  3576  19 years  emre   These updates to the Conscripts allow for a compiles, started in the MC source t…
library/  3576  19 years  emre   These updates to the Conscripts allow for a compiles, started in the MC source t…
mk/  3591  19 years  nogin   - Added an option to be have "THEORIES=all" in mk/config (instead of THEORIES="l…
mllib/  3591  19 years  nogin   - Added an option to be have "THEORIES=all" in mk/config (instead of THEORIES="l…
patches/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
refiner/  3591  19 years  nogin   - Added an option to be have "THEORIES=all" in mk/config (instead of THEORIES="l…
theories/  3592  19 years  emre   Some more documentation. I'll be able to document more things when the MC devel…
util/  3576  19 years  emre   These updates to the Conscripts allow for a compiles, started in the MC source t…
.cpdir  2669  22 years  jyh   This is a major modification to how parameters are handled. 1. All level parmete…
.cprc  2669  22 years  jyh   This is a major modification to how parameters are handled. 1. All level parmete…
BUGS  3441  19 years  nogin   removed the bugs and todo's that were already fixed.
Conscript  3576  19 years  emre   These updates to the Conscripts allow for a compiles, started in the MC source t…
Construct  3532  19 years  nogin   I am committing David Bustos' changes to the cons build system for Metaprl. See…
Makefile  3591  19 years  nogin   - Added an option to be have "THEORIES=all" in mk/config (instead of THEORIES="l…
README  3099  20 years  krupski   The reference to editor/ml/QUICKSTART is added. It is a short summary for the be…

Properties

Name Value
svn:ignore update commit .cprc .cpdir .consign

  ViewVC Help
Powered by ViewVC 1.1.26