summaryrefslogtreecommitdiff
path: root/doc
ModeNameSize
-rw-r--r--coqdoc.css1165logplain
-rw-r--r--index.html11169logplain
-rw-r--r--removeproofs.mll844logplain
-rw-r--r--style.css1368logplain