| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .cvsignore | 29 | logplain |
| -rw-r--r-- | Makefile.common | 1075 | logplain |
| -rw-r--r-- | Makefile.devel | 1822 | logplain |
| -rw-r--r-- | Makefile.dir | 3175 | logplain |
| -rw-r--r-- | Makefile.subdir | 238 | logplain |
| -rw-r--r-- | README | 598 | logplain |
| -rw-r--r-- | TODO | 768 | logplain |
| -rw-r--r-- | base_db | 175 | logplain |
| -rw-r--r-- | base_include | 2377 | logplain |
| -rw-r--r-- | changements.txt | 15693 | logplain |
| -rw-r--r-- | cic.dtd | 5562 | logplain |
| -rw-r--r-- | db | 1126 | logplain |
| -rw-r--r-- | db_printers.ml | 678 | logplain |
| -rw-r--r-- | debugging.txt | 1958 | logplain |
| d--------- | doc | 869 | logplain |
| -rw-r--r-- | header | 525 | logplain |
| -rw-r--r-- | include | 948 | logplain |
| -rw-r--r-- | objects.el | 3960 | logplain |
| -rw-r--r-- | ocamldebug-coq.template | 1190 | logplain |
| -rw-r--r-- | perf-analysis | 1586 | logplain |
| -rw-r--r-- | style.txt | 982 | logplain |
| -rw-r--r-- | top_printers.ml | 12286 | logplain |
| -rw-r--r-- | translate.txt | 16039 | logplain |
| -rwxr-xr-x | univdot | 992 | logplain |
| -rw-r--r-- | universes.txt | 832 | logplain |
| -rw-r--r-- | vm_printers.ml | 2501 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |