 Parent Directory
|
|
|
|
|
clib/
|
9827 |
23 months |
nogin |
The terminal size module was moved to LibMojave |
|
debug/
|
7563 |
3 years |
nogin |
This is a huge commit that is mostly no-op:
- Updated the standard preamble tex... |
|
doc/
|
12764 |
8 months |
jyh |
The quickref needs to go on the website.
|
|
editor/
|
12699 |
9 months |
jyh |
Minor changes needed to compile with OMake 0.9.8.x.
This default rule is causin... |
|
filter/
|
12081 |
14 months |
nogin |
Made things compatible with the latest version of LibMojave.
|
|
library/
|
12717 |
9 months |
jyh |
Some minor changes to fight bitrot.
There is something wrong with nthHypT. If ... |
|
mk/
|
12717 |
9 months |
jyh |
Some minor changes to fight bitrot.
There is something wrong with nthHypT. If ... |
|
mllib/
|
12081 |
14 months |
nogin |
Made things compatible with the latest version of LibMojave.
|
|
patches/
|
6179 |
4 years |
nogin |
Added a patch for 3.08.1 to make it work with MetaPRL.
|
|
proxyedit/
|
9955 |
22 months |
nogin |
(Bug 629) Use OCAML_CLIBS instead of LIBS, where appropriate.
|
|
refiner/
|
9556 |
2 years |
nogin |
Refine.extract_term: make sure the input list has the correct shape. |
|
support/
|
12717 |
9 months |
jyh |
Some minor changes to fight bitrot.
There is something wrong with nthHypT. If ... |
|
tactics/
|
9955 |
22 months |
nogin |
(Bug 629) Use OCAML_CLIBS instead of LIBS, where appropriate.
|
|
theories/
|
13171 |
3 months |
yegor |
Realization for Wise Men and some formulations of Muddy Children (those that we ... |
|
util/
|
10438 |
19 months |
nogin |
More cosmetic changes.
|
BUGS
|
6682 |
3 years |
nogin |
The rules for dependent function, dependent product, and quantifiers needed to
b... |
|
Makefile
|
9232 |
2 years |
nogin |
Updated the "you need to use OMake" message (the OMake SVN trunk it was
pointing... |
|
OMakefile
|
12717 |
9 months |
jyh |
Some minor changes to fight bitrot.
There is something wrong with nthHypT. If ... |
|
OMakefile_common
|
12081 |
14 months |
nogin |
Made things compatible with the latest version of LibMojave.
|
|
OMakefile_theories
|
12699 |
9 months |
jyh |
Minor changes needed to compile with OMake 0.9.8.x.
This default rule is causin... |
|
OMakeroot
|
12699 |
9 months |
jyh |
Minor changes needed to compile with OMake 0.9.8.x.
This default rule is causin... |
|
QUICKSTART
|
8526 |
2 years |
nogin |
Minor cleanup.
|
|
README
|
6019 |
4 years |
nogin |
Updated documentation for OMake. Please take a look!
|
|
README.MACOSX
|
9266 |
2 years |
nogin |
Updated the installation instructions (they were quite outdated). Also,
commente... |
|
README.WIN32
|
9266 |
2 years |
nogin |
Updated the installation instructions (they were quite outdated). Also,
commente... |
