aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
ModeNameSize
-rw-r--r--BUGS517logplain
-rw-r--r--README574logplain
-rw-r--r--coq-syntax.el6306logplain
-rw-r--r--coq.el18003logplain
-rw-r--r--coqtags1795logplain
-rw-r--r--example.v184logplain
-rw-r--r--todo1961logplain
-rw-r--r--x-symbol-coq.el2892logplain