summaryrefslogtreecommitdiff
path: root/doc
ModeNameSize
-rw-r--r--coq2html.css1497logplain
-rw-r--r--coq2html.js553logplain
-rw-r--r--coq2html.mll12536logplain
-rw-r--r--coqdoc.css1165logplain
-rw-r--r--index.html14059logplain
-rw-r--r--style.css1368logplain