summaryrefslogtreecommitdiffstats
ModeNameSize
-rw-r--r--.gitignore108logstatsplain
-rw-r--r--README.coq-emacs127logstatsplain
-rw-r--r--coq-doc.patch549logstatsplain
-rw-r--r--coq.spec21456logstatsplain
-rw-r--r--coq.xml289logstatsplain
-rw-r--r--coqide.appdata.xml1596logstatsplain
-rw-r--r--coqide.desktop174logstatsplain
-rw-r--r--sources155logstatsplain