/[mojave]/metaprl
ViewVC logotype

Index of /metaprl

Files shown:5
Directory revision: 2922 (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/  2649  22 years  jyh   Added an initial incomplete version of the distributed marshaler.
debug/  2637  22 years  nogin   Added ENSROOT and OCAMLSRC to mk/config. When the mk/config is created for the …
doc/  2882  21 years  nogin   Updated the CVS documentation URL. BTW, the new documentation page includes a n…
editor/  2922  21 years  lolorigo   added/improved functionality for metaprl/jprover/nuprl5 io
ensemble/  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
filter/  2916  21 years  nogin   There is no need to call dest_msequent when we only want the goal, but not the a…
lib/  2546  22 years  jyh   Fixed opname specification error in Itt_fset.
library/  2922  21 years  lolorigo   added/improved functionality for metaprl/jprover/nuprl5 io
mk/  2906  21 years  jyh   Itt_bool now expands.
mllib/  2911  21 years  jyh   Planning for update to .prla files.
refiner/  2920  21 years  steph   ---------------------------------------------------------------------- Enter …
theories/  2922  21 years  lolorigo   added/improved functionality for metaprl/jprover/nuprl5 io
util/  2859  21 years  nogin   Made MetaPRL compatible with ocaml-2.03/camlp4-2.03 At the same time it became …
.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  2911  21 years  jyh   Planning for update to .prla files.
Makefile  2889  21 years  nogin   - When compiling a MetaPRL file referenced using its path instead of just a name…
README  2625  22 years  nogin   There is no need to list TODO here

Properties

Name Value
svn:ignore update commit .cprc .cpdir

  ViewVC Help
Powered by ViewVC 1.1.26