package info
(click to toggle)
Folder: 8.2.pl2+dfsg-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | .pc |
|
d | rwxr-xr-x | 10 | bin |
|
d | rwxr-xr-x | 4,096 | checker |
|
d | rwxr-xr-x | 87 | config |
|
d | rwxr-xr-x | 4,096 | contrib |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 4,096 | dev |
|
d | rwxr-xr-x | 84 | doc |
|
d | rwxr-xr-x | 4,096 | ide |
|
d | rwxr-xr-x | 4,096 | interp |
|
d | rwxr-xr-x | 4,096 | kernel |
|
d | rwxr-xr-x | 4,096 | lib |
|
d | rwxr-xr-x | 4,096 | library |
|
d | rwxr-xr-x | 4,096 | man |
|
d | rwxr-xr-x | 4,096 | parsing |
|
d | rwxr-xr-x | 4,096 | pretyping |
|
d | rwxr-xr-x | 4,096 | proofs |
|
d | rwxr-xr-x | 50 | scripts |
|
d | rwxr-xr-x | 61 | states |
|
d | rwxr-xr-x | 4,096 | tactics |
|
d | rwxr-xr-x | 4,096 | test-suite |
|
d | rwxr-xr-x | 4,096 | theories |
|
d | rwxr-xr-x | 4,096 | tools |
|
d | rwxr-xr-x | 4,096 | toplevel |
 |
- | rw-r--r-- | 1,513 | .gitignore |
|
- | rw-r--r-- | 83,804 | CHANGES |
|
- | rw-r--r-- | 3,029 | COMPATIBILITY |
|
- | rw-r--r-- | 1,314 | COPYRIGHT |
|
- | rw-r--r-- | 6,635 | CREDITS |
|
- | rwxr-xr-x | 159 | Coq.bat |
|
- | rwxr-xr-x | 156 | Coqide.bat |
|
- | rw-r--r-- | 12,748 | INSTALL |
|
- | rw-r--r-- | 1,941 | INSTALL.doc |
|
- | rw-r--r-- | 4,624 | INSTALL.ide |
|
- | rw-r--r-- | 913 | INSTALL.macosx |
|
- | rw-r--r-- | 24,381 | LICENSE |
|
- | rw-r--r-- | 9,250 | Makefile |
|
- | rw-r--r-- | 34,467 | Makefile.build |
|
- | rw-r--r-- | 33,923 | Makefile.common |
|
- | rw-r--r-- | 11,533 | Makefile.doc |
|
- | rw-r--r-- | 1,256 | Makefile.stage1 |
|
- | rw-r--r-- | 699 | Makefile.stage2 |
|
- | rw-r--r-- | 698 | Makefile.stage3 |
|
- | rw-r--r-- | 1,830 | README |
|
- | rwxr-xr-x | 645 | README.doc |
|
- | rw-r--r-- | 2,265 | README.win |
|
- | rwxr-xr-x | 31,328 | configure |
|
- | rwxr-xr-x | 144 | install.sh |