- Committer: Jason Gross
- Date: 2021-02-03 14:12:33 UTC
- Revision ID: git-v1:bfdf06a183a091c3a816bc62de57e05c2c3e02a7
Require num on newer OCaml
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
checker
|
105 | 15 years ago | Samuel Mimram | Merge commit 'upstream/8.2.beta3+dfsg' |
|
||
|
config
|
1 | 19 years ago | Samuel Mimram | Imported Upstream version 8.0pl1 |
|
||
|
debian
|
2 | 19 years ago | Samuel Mimram | Getting prepared for the licensing-problems-free 8 |
|
||
|
dev
|
1 | 19 years ago | Samuel Mimram | Imported Upstream version 8.0pl1 |
|
||
|
doc
|
49 | 18 years ago | Samuel Mimram | Merge commit 'upstream/8.0pl3+8.1alpha' into 8.0pl |
|
||
|
ide
|
1 | 19 years ago | Samuel Mimram | Imported Upstream version 8.0pl1 |
|
||
|
interp
|
1 | 19 years ago | Samuel Mimram | Imported Upstream version 8.0pl1 |
|
||
|
kernel
|
1 | 19 years ago | Samuel Mimram | Imported Upstream version 8.0pl1 |
|
||
|
lib
|
1 | 19 years ago | Samuel Mimram | Imported Upstream version 8.0pl1 |
|
||
|
library
|
1 | 19 years ago | Samuel Mimram | Imported Upstream version 8.0pl1 |
|
||
|
man
|
1 | 19 years ago | Samuel Mimram | Imported Upstream version 8.0pl1 |
|
||
|
parsing
|
1 | 19 years ago | Samuel Mimram | Imported Upstream version 8.0pl1 |
|
||
|
plugins
|
213 | 13 years ago | Stephane Glondu | Merge branch 'experimental/upstream' into experime |
|
||
|
pretyping
|
1 | 19 years ago | Samuel Mimram | Imported Upstream version 8.0pl1 |
|
||
|
proofs
|
1 | 19 years ago | Samuel Mimram | Imported Upstream version 8.0pl1 |
|
||
|
scripts
|
1 | 19 years ago | Samuel Mimram | Imported Upstream version 8.0pl1 |
|
||
|
states
|
1 | 19 years ago | Samuel Mimram | Imported Upstream version 8.0pl1 |
|
||
|
tactics
|
1 | 19 years ago | Samuel Mimram | Imported Upstream version 8.0pl1 |
|
||
|
test-suite
|
1 | 19 years ago | Samuel Mimram | Imported Upstream version 8.0pl1 |
|
||
|
theories
|
1 | 19 years ago | Samuel Mimram | Imported Upstream version 8.0pl1 |
|
||
|
tools
|
1 | 19 years ago | Samuel Mimram | Imported Upstream version 8.0pl1 |
|
||
|
toplevel
|
1 | 19 years ago | Samuel Mimram | Imported Upstream version 8.0pl1 |
|
||
_tags |
1.3.6 | 10 years ago | Stephane Glondu | Imported Upstream version 8.4pl3dfsg | 2.3 KB |
|
|
build |
1.6.4 | 11 years ago | Stephane Glondu | Imported Upstream version 8.4pl1dfsg | 656 bytes |
|
|
|
CHANGES |
1.3.7 | 9 years ago | Stephane Glondu | Imported Upstream version 8.4pl4dfsg | 117 KB |
|
|
|
COMPATIBILITY |
1.6.3 | 11 years ago | Stephane Glondu | Imported Upstream version 8.4dfsg | 2.1 KB |
|
|
|
configure |
1.3.7 | 9 years ago | Stephane Glondu | Imported Upstream version 8.4pl4dfsg | 36.5 KB |
|
|
|
COPYRIGHT |
1.5.2 | 11 years ago | Stephane Glondu | Imported Upstream version 8.4~gamma0+really8.4beta | 662 bytes |
|
|
|
coq-win32.itarget |
1.1.18 | 13 years ago | Stephane Glondu | Imported Upstream snapshot 8.3~beta0+13298 | 39 bytes |
|
|
|
coq.itarget |
1.5.1 | 12 years ago | Stephane Glondu | Imported Upstream version 8.4~beta | 223 bytes |
|
|
|
CREDITS |
1.5.2 | 11 years ago | Stephane Glondu | Imported Upstream version 8.4~gamma0+really8.4beta | 6.8 KB |
|
|
|
INSTALL |
1.6.4 | 11 years ago | Stephane Glondu | Imported Upstream version 8.4pl1dfsg | 12.4 KB |
|
|
|
INSTALL.doc |
1.1.14 | 15 years ago | Stephane Glondu | Imported Upstream version 8.2~rc2+dfsg | 1.8 KB |
|
|
|
INSTALL.ide |
1.5.1 | 12 years ago | Stephane Glondu | Imported Upstream version 8.4~beta | 4.3 KB |
|
|
|
install.sh |
1.1.18 | 13 years ago | Stephane Glondu | Imported Upstream snapshot 8.3~beta0+13298 | 142 bytes |
|
|
|
LICENSE |
1.1.3 | 18 years ago | Samuel Mimram | Imported Upstream version 8.0pl3+8.1alpha | 23.8 KB |
|
|
|
Makefile |
1.6.3 | 11 years ago | Stephane Glondu | Imported Upstream version 8.4dfsg | 9.9 KB |
|
|
|
Makefile.build |
1.6.4 | 11 years ago | Stephane Glondu | Imported Upstream version 8.4pl1dfsg | 31.9 KB |
|
|
|
Makefile.common |
1.6.4 | 11 years ago | Stephane Glondu | Imported Upstream version 8.4pl1dfsg | 12 KB |
|
|
|
Makefile.doc |
1.6.4 | 11 years ago | Stephane Glondu | Imported Upstream version 8.4pl1dfsg | 12.9 KB |
|
|
|
myocamlbuild.ml |
1.3.6 | 10 years ago | Stephane Glondu | Imported Upstream version 8.4pl3dfsg | 17.6 KB |
|
|
|
README |
1.3.6 | 10 years ago | Stephane Glondu | Imported Upstream version 8.4pl3dfsg | 1.7 KB |
|
|
|
README.doc |
1.1.12 | 15 years ago | Stephane Glondu | Imported Upstream version 8.2~beta4+dfsg | 645 bytes |
|
|
|
README.win |
1.5.1 | 12 years ago | Stephane Glondu | Imported Upstream version 8.4~beta | 1.9 KB |
|
|