| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 19 | logstatsplain |
| -rw-r--r-- | README.coq-emacs | 127 | logstatsplain |
| -rw-r--r-- | coq.spec | 17973 | logstatsplain |
| -rw-r--r-- | coq.xml | 289 | logstatsplain |
| -rw-r--r-- | coqide.desktop | 174 | logstatsplain |
| -rw-r--r-- | sources | 52 | logstatsplain |
 |
index : coq.git | |
| coq | Jesse Keating |
| summaryrefslogtreecommitdiffstats |