aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
ModeNameSize
-rw-r--r--BUGS687logplain
-rw-r--r--KnasterTarski.v898logplain
-rw-r--r--README2222logplain
-rw-r--r--TODO-TMP2057logplain
-rw-r--r--coq-abbrev.el19113logplain
-rw-r--r--coq-autotest.el444logplain
-rw-r--r--coq-indent.el18445logplain
-rw-r--r--coq-syntax.el19219logplain
-rw-r--r--coq.el43902logplain
-rw-r--r--coqtags1837logplain
-rw-r--r--ex-module.v1432logplain
-rw-r--r--example-x-symbols.v1448logplain
-rw-r--r--example.v215logplain
-rw-r--r--root2.v6574logplain
-rw-r--r--todo2419logplain
-rw-r--r--x-symbol-coq.el14625logplain