| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .cvsignore | 69 | logplain |
| -rwxr-xr-x | README.coq-tex | 380 | logplain |
| -rwxr-xr-x | README.emacs | 829 | logplain |
| -rwxr-xr-x | coq-sl.sty | 740 | logplain |
| -rwxr-xr-x | coq-tex.1 | 3064 | logplain |
| -rw-r--r-- | coq-tex.ml | 8134 | logplain |
| -rw-r--r-- | coq.el | 6830 | logplain |
| -rw-r--r-- | coq_makefile.ml | 12554 | logplain |
| -rwxr-xr-x | coqdep.1 | 3463 | logplain |
| -rwxr-xr-x | coqdep.ml | 13385 | logplain |
| -rwxr-xr-x | coqdep_lexer.mll | 6339 | logplain |
| -rwxr-xr-x | gallina.1 | 1182 | logplain |
| -rw-r--r-- | gallina.ml | 1359 | logplain |
| -rw-r--r-- | gallina_lexer.mll | 4188 | logplain |
| -rwxr-xr-x | translate_V6-3-1_to_V7-0 | 1064 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |