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