aboutsummaryrefslogtreecommitdiff
path: root/etc/coq
AgeCommit message (Expand)Author
2002-07-18Investigation of proof-zap-commas failure in GNU Emacs; comments, no results.David Aspinall
2002-07-18Record bug as solved.David Aspinall
2002-07-18New files.David Aspinall
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
2001-08-31ExplanationDavid Aspinall
2000-12-14*** empty log message ***David Aspinall
2000-12-14Updated to use Require commandsDavid Aspinall
1999-11-08Updated multiple file notes.David Aspinall
1999-10-25Trivial tests for auto multiple files.David Aspinall
1999-10-06Test for Unnamed_thm.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 21:13:13 +0000