| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .cvsignore | 78 | logplain |
| -rwxr-xr-x | README.coq-tex | 380 | logplain |
| -rwxr-xr-x | README.emacs | 829 | logplain |
| -rwxr-xr-x | check-v8 | 782 | logplain |
| -rw-r--r-- | coq-inferior.el | 11606 | logplain |
| -rwxr-xr-x | coq-sl.sty | 740 | logplain |
| -rw-r--r-- | coq-tex.ml4 | 9535 | logplain |
| -rw-r--r-- | coq.el | 7010 | logplain |
| -rw-r--r-- | coq_makefile.ml4 | 15372 | logplain |
| -rw-r--r-- | coq_vo2xml.ml | 5322 | logplain |
| -rwxr-xr-x | coqdep.ml | 16993 | logplain |
| -rwxr-xr-x | coqdep_lexer.mll | 7437 | logplain |
| -rw-r--r-- | coqwc.mll | 9111 | logplain |
| -rw-r--r-- | gallina.ml | 1877 | logplain |
| -rw-r--r-- | gallina_lexer.mll | 4875 | logplain |
| -rwxr-xr-x | restore-v7 | 185 | logplain |
| -rwxr-xr-x | translate-v8 | 1404 | logplain |
| -rwxr-xr-x | translate_V6-3-1_to_V7-0 | 1006 | logplain |
| -rwxr-xr-x | upgrade-v8 | 561 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |