| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | README.coq-tex | 380 | logplain |
| -rwxr-xr-x | README.emacs | 829 | logplain |
| -rw-r--r-- | coq-inferior.el | 11606 | logplain |
| -rwxr-xr-x | coq-sl.sty | 740 | logplain |
| -rw-r--r-- | coq-tex.ml4 | 9591 | logplain |
| -rw-r--r-- | coq.el | 7010 | logplain |
| -rw-r--r-- | coq_makefile.ml4 | 15449 | logplain |
| -rw-r--r-- | coqdep.ml | 17230 | logplain |
| -rwxr-xr-x | coqdep_lexer.mll | 7498 | logplain |
| d--------- | coqdoc | 486 | logplain |
| -rw-r--r-- | coqwc.mll | 9178 | logplain |
| -rw-r--r-- | gallina.ml | 1932 | logplain |
| -rw-r--r-- | gallina_lexer.mll | 4937 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |