| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | AddRefMan-pre.tex | 2341 | logplain |
| -rw-r--r-- | RefMan-gal.tex | 64998 | logplain |
| -rw-r--r-- | RefMan-ltac.tex | 68611 | logplain |
| -rw-r--r-- | Reference-Manual.tex | 3595 | logplain |
| -rw-r--r-- | biblio.bib | 43090 | logplain |
| -rw-r--r-- | coq-listing.tex | 4216 | logplain |
| -rw-r--r-- | coqide-queries.png | 66656 | logplain |
| -rw-r--r-- | coqide.png | 59662 | logplain |
| -rw-r--r-- | headers.hva | 1489 | logplain |
| -rw-r--r-- | headers.sty | 3084 | logplain |
| -rw-r--r-- | hevea.sty | 2685 | logplain |
| -rw-r--r-- | index.html | 188 | logplain |
| -rw-r--r-- | menu.html | 955 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |
