| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | alpha.ml | 1654 | logplain |
| -rw-r--r-- | alpha.mli | 883 | logplain |
| -rw-r--r-- | cdglobals.ml | 3983 | logplain |
| -rw-r--r-- | cdglobals.mli | 1533 | logplain |
| -rw-r--r-- | coqdoc.css | 6058 | logplain |
| -rw-r--r-- | coqdoc.sty | 5540 | logplain |
| -rw-r--r-- | cpretty.mli | 800 | logplain |
| -rw-r--r-- | cpretty.mll | 44457 | logplain |
| -rw-r--r-- | dune | 245 | logplain |
| -rw-r--r-- | index.ml | 11307 | logplain |
| -rw-r--r-- | index.mli | 2098 | logplain |
| -rw-r--r-- | main.ml | 22043 | logplain |
| -rw-r--r-- | output.ml | 43806 | logplain |
| -rw-r--r-- | output.mli | 3346 | logplain |
| -rw-r--r-- | style.css | 1035 | logplain |
| -rw-r--r-- | tokens.ml | 6144 | logplain |
| -rw-r--r-- | tokens.mli | 3335 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |