package info
(click to toggle)
Folder: 8.3.pl4+dfsg-2
 |
.. (parent) | |||
|
d | rwxr-xr-x | 84 | .pc |
|
d | rwxr-xr-x | 4,096 | checker |
|
d | rwxr-xr-x | 63 | config |
|
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 | plugins |
|
d | rwxr-xr-x | 4,096 | pretyping |
|
d | rwxr-xr-x | 4,096 | proofs |
|
d | rwxr-xr-x | 38 | scripts |
|
d | rwxr-xr-x | 26 | 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-- | 104,225 | CHANGES |
|
- | rw-r--r-- | 1,784 | COMPATIBILITY |
|
- | rw-r--r-- | 661 | COPYRIGHT |
|
- | rw-r--r-- | 6,762 | CREDITS |
|
- | rw-r--r-- | 12,587 | INSTALL |
|
- | rw-r--r-- | 1,941 | INSTALL.doc |
|
- | rw-r--r-- | 4,542 | INSTALL.ide |
|
- | rw-r--r-- | 1,181 | INSTALL.macosx |
|
- | rw-r--r-- | 24,381 | LICENSE |
|
- | rw-r--r-- | 11,076 | Makefile |
|
- | rw-r--r-- | 29,882 | Makefile.build |
|
- | rw-r--r-- | 14,169 | Makefile.common |
|
- | rw-r--r-- | 11,955 | Makefile.doc |
|
- | rw-r--r-- | 1,256 | Makefile.stage1 |
|
- | rw-r--r-- | 981 | Makefile.stage2 |
|
- | rw-r--r-- | 1,703 | README |
|
- | rwxr-xr-x | 645 | README.doc |
|
- | rw-r--r-- | 2,075 | README.win |
|
- | rw-r--r-- | 2,408 | _tags |
|
- | rwxr-xr-x | 536 | build |
|
- | rwxr-xr-x | 32,338 | configure |
|
- | rw-r--r-- | 39 | coq-win32.itarget |
|
- | rw-r--r-- | 59 | coq.itarget |
|
- | rwxr-xr-x | 142 | install.sh |
|
- | rw-r--r-- | 17,006 | myocamlbuild.ml |