package info
(click to toggle)
Folder: 8.4pl4-2
 |
.. (parent) | |||
|
d | rwxr-xr-x | 142 | .pc |
|
d | rwxr-xr-x | 4,096 | checker |
|
d | rwxr-xr-x | 35 | config |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 4,096 | dev |
|
d | rwxr-xr-x | 4,096 | 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 | 50 | 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-- | 120,492 | CHANGES |
|
- | rw-r--r-- | 2,156 | COMPATIBILITY |
|
- | rw-r--r-- | 662 | COPYRIGHT |
|
- | rw-r--r-- | 7,027 | CREDITS |
|
- | rw-r--r-- | 12,770 | INSTALL |
|
- | rw-r--r-- | 1,941 | INSTALL.doc |
|
- | rw-r--r-- | 4,458 | INSTALL.ide |
|
- | rw-r--r-- | 24,381 | LICENSE |
|
- | rw-r--r-- | 10,190 | Makefile |
|
- | rw-r--r-- | 32,725 | Makefile.build |
|
- | rw-r--r-- | 12,384 | Makefile.common |
|
- | rw-r--r-- | 13,225 | Makefile.doc |
|
- | rw-r--r-- | 1,826 | README |
|
- | rwxr-xr-x | 645 | README.doc |
|
- | rw-r--r-- | 2,035 | README.win |
|
- | rw-r--r-- | 2,368 | _tags |
|
- | rwxr-xr-x | 656 | build |
|
- | rwxr-xr-x | 37,431 | configure |
|
- | rw-r--r-- | 39 | coq-win32.itarget |
|
- | rw-r--r-- | 223 | coq.itarget |
|
- | rwxr-xr-x | 142 | install.sh |
|
- | rw-r--r-- | 18,068 | myocamlbuild.ml |