aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output-coqtop
ModeNameSize
-rw-r--r--DependentEvars.out1522logplain
-rw-r--r--DependentEvars.v466logplain
-rw-r--r--DependentEvars2.out2079logplain
-rw-r--r--DependentEvars2.v519logplain
-rw-r--r--ShowGoal.out1129logplain
-rw-r--r--ShowGoal.v206logplain
-rw-r--r--ShowProofDiffs.out2481logplain
-rw-r--r--ShowProofDiffs.v222logplain