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