aboutsummaryrefslogtreecommitdiff
path: root/etc/coq/nested.v
AgeCommit message (Expand)Author
2002-06-19Add nested section example to increase the horror.David Aspinall
2002-06-19Added End for sections, and silly testDavid Aspinall
2002-06-18Added some non-undoable tacticsDavid Aspinall
2002-06-18Added some sectionsDavid Aspinall
2002-06-18FixDavid Aspinall
2002-06-18Add more declarationsDavid Aspinall
2002-06-12More test cases, summary of situation.David Aspinall
2002-06-12Note of another bugDavid Aspinall
2002-06-12Add test t4 for extra depth of nestingDavid Aspinall
2002-06-11Replace with example from PierreDavid Aspinall
2002-06-11New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:30:46 +0000