aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx/practical-tools
ModeNameSize
-rw-r--r--coq-commands.rst13543logplain
-rw-r--r--coqide.rst13336logplain
-rw-r--r--utilities.rst34375logplain