| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .cvsignore | 15 | logplain |
| -rwxr-xr-x | ast.ml | 19975 | logplain |
| -rwxr-xr-x | ast.mli | 2798 | logplain |
| -rw-r--r-- | coqast.ml | 2029 | logplain |
| -rw-r--r-- | coqast.mli | 335 | logplain |
| -rw-r--r-- | g_basevernac.ml4 | 6814 | logplain |
| -rw-r--r-- | g_command.ml4 | 7367 | logplain |
| -rw-r--r-- | g_minicoq.ml4 | 5204 | logplain |
| -rw-r--r-- | g_minicoq.mli | 452 | logplain |
| -rw-r--r-- | g_multiple_case.ml4 | 2400 | logplain |
| -rw-r--r-- | g_prim.ml4 | 1706 | logplain |
| -rw-r--r-- | g_tactic.ml4 | 12719 | logplain |
| -rw-r--r-- | g_vernac.ml4 | 21331 | logplain |
| -rw-r--r-- | lexer.mli | 277 | logplain |
| -rw-r--r-- | lexer.mll | 5700 | logplain |
| -rw-r--r-- | pcoq.ml4 | 13755 | logplain |
| -rw-r--r-- | pcoq.mli | 8673 | logplain |
| -rw-r--r-- | q_coqast.ml4 | 3709 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |