- Committer: Stephane Glondu
- Date: 2011-12-25 12:42:53 UTC
- Revision ID: git-v1:e655543207d470014e5173f41549e76cfa9fb6b9
Bump COQ_VERSION
| 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 |
|
||
.gitignore |
1.3.1 | 13 years ago | Stephane Glondu | Imported Upstream version 8.3.pl2 | 1.7 KB |
|
|
|
_tags |
1.3.1 | 13 years ago | Stephane Glondu | Imported Upstream version 8.3.pl2 | 2.3 KB |
|
|
build |
1.1.18 | 13 years ago | Stephane Glondu | Imported Upstream snapshot 8.3~beta0+13298 | 536 bytes |
|
|
|
CHANGES |
1.3.2 | 12 years ago | Stephane Glondu | Imported Upstream version 8.3.pl3 | 100 KB |
|
|
|
COMPATIBILITY |
1.1.21 | 13 years ago | Stephane Glondu | Imported Upstream version 8.3 | 1.7 KB |
|
|
|
configure |
1.3.2 | 12 years ago | Stephane Glondu | Imported Upstream version 8.3.pl3 | 31.5 KB |
|
|
|
COPYRIGHT |
1.3.2 | 12 years ago | Stephane Glondu | Imported Upstream version 8.3.pl3 | 661 bytes |
|
|
|
coq-win32.itarget |
1.1.18 | 13 years ago | Stephane Glondu | Imported Upstream snapshot 8.3~beta0+13298 | 39 bytes |
|
|
|
coq.itarget |
1.1.18 | 13 years ago | Stephane Glondu | Imported Upstream snapshot 8.3~beta0+13298 | 59 bytes |
|
|
|
CREDITS |
1.3.2 | 12 years ago | Stephane Glondu | Imported Upstream version 8.3.pl3 | 6.6 KB |
|
|
|
INSTALL |
1.3.1 | 13 years ago | Stephane Glondu | Imported Upstream version 8.3.pl2 | 12.2 KB |
|
|
|
INSTALL.doc |
1.1.14 | 15 years ago | Stephane Glondu | Imported Upstream version 8.2~rc2+dfsg | 1.8 KB |
|
|
|
INSTALL.ide |
1.3.1 | 13 years ago | Stephane Glondu | Imported Upstream version 8.3.pl2 | 4.4 KB |
|
|
|
INSTALL.macosx |
1.3.2 | 12 years ago | Stephane Glondu | Imported Upstream version 8.3.pl3 | 1.1 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.3.2 | 12 years ago | Stephane Glondu | Imported Upstream version 8.3.pl3 | 10.8 KB |
|
|
|
Makefile.build |
1.3.2 | 12 years ago | Stephane Glondu | Imported Upstream version 8.3.pl3 | 29.1 KB |
|
|
|
Makefile.common |
1.2.1 | 13 years ago | Stephane Glondu | Imported Upstream version 8.3pl1 | 13.8 KB |
|
|
|
Makefile.doc |
1.3.2 | 12 years ago | Stephane Glondu | Imported Upstream version 8.3.pl3 | 11.6 KB |
|
|
|
Makefile.stage1 |
1.1.17 | 13 years ago | Stephane Glondu | Imported Upstream version 8.2pl2+dfsg | 1.2 KB |
|
|
|
Makefile.stage2 |
1.1.18 | 13 years ago | Stephane Glondu | Imported Upstream snapshot 8.3~beta0+13298 | 981 bytes |
|
|
|
myocamlbuild.ml |
1.3.1 | 13 years ago | Stephane Glondu | Imported Upstream version 8.3.pl2 | 16.6 KB |
|
|
|
README |
1.1.21 | 13 years ago | Stephane Glondu | Imported Upstream version 8.3 | 1.6 KB |
|
|
|
README.doc |
1.1.12 | 15 years ago | Stephane Glondu | Imported Upstream version 8.2~beta4+dfsg | 645 bytes |
|
|
|
README.win |
1.3.1 | 13 years ago | Stephane Glondu | Imported Upstream version 8.3.pl2 | 2 KB |
|
|