/[mojave]/metaprl
ViewVC logotype

Index of /metaprl

Files shown:10
Directory revision: 13175 (of 13286)
Sticky Revision:


File Rev. Age Author Last log entry
 Parent Directory        
clib/  9827  14 years  nogin   The terminal size module was moved to LibMojave
debug/  7563  15 years  nogin   This is a huge commit that is mostly no-op: - Updated the standard preamble tex…
doc/  12764  13 years  jyh   The quickref needs to go on the website.
editor/  12699  13 years  jyh   Minor changes needed to compile with OMake 0.9.8.x. This default rule is causin…
filter/  12081  13 years  nogin   Made things compatible with the latest version of LibMojave.
library/  12717  13 years  jyh   Some minor changes to fight bitrot. There is something wrong with nthHypT. If …
mk/  12717  13 years  jyh   Some minor changes to fight bitrot. There is something wrong with nthHypT. If …
mllib/  12081  13 years  nogin   Made things compatible with the latest version of LibMojave.
patches/  6179  16 years  nogin   Added a patch for 3.08.1 to make it work with MetaPRL.
proxyedit/  9955  14 years  nogin   (Bug 629) Use OCAML_CLIBS instead of LIBS, where appropriate.
refiner/  9556  14 years  nogin   Refine.extract_term: make sure the input list has the correct shape.
support/  12717  13 years  jyh   Some minor changes to fight bitrot. There is something wrong with nthHypT. If …
tactics/  9955  14 years  nogin   (Bug 629) Use OCAML_CLIBS instead of LIBS, where appropriate.
theories/  13175  12 years  yegor   fixed a couple of minor bugs in some Gilbert-style proof steps
util/  10438  14 years  nogin   More cosmetic changes.
BUGS  6682  16 years  nogin   The rules for dependent function, dependent product, and quantifiers needed to b…
Makefile  9232  15 years  nogin   Updated the "you need to use OMake" message (the OMake SVN trunk it was pointing…
OMakefile  12717  13 years  jyh   Some minor changes to fight bitrot. There is something wrong with nthHypT. If …
OMakefile_common  12081  13 years  nogin   Made things compatible with the latest version of LibMojave.
OMakefile_theories  12699  13 years  jyh   Minor changes needed to compile with OMake 0.9.8.x. This default rule is causin…
OMakeroot  12699  13 years  jyh   Minor changes needed to compile with OMake 0.9.8.x. This default rule is causin…
QUICKSTART  8526  15 years  nogin   Minor cleanup.
README  6019  17 years  nogin   Updated documentation for OMake. Please take a look!
README.MACOSX  9266  15 years  nogin   Updated the installation instructions (they were quite outdated). Also, commente…
README.WIN32  9266  15 years  nogin   Updated the installation instructions (they were quite outdated). Also, commente…

Properties

Name Value
svn:externals libmojave svn://svn.metaprl.org/libmojave
svn:ignore *.lnk *.obj *.omc *.omo *.tmp *~ .#* .consign .cpdir .cprc .omakedb .omakedb.lock .sloppy .version.* add commit core core.* rename sedscript update export lib bin x y

  ViewVC Help
Powered by ViewVC 1.1.26