aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
2002-08-08Set version tag for new release.David Aspinall
2002-08-07Set version tag for new release.David Aspinall
2002-07-19Set version tag for new release.David Aspinall
2002-07-19Updated.David Aspinall
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-07-18More testsDavid Aspinall
2002-07-18More comments on current bugsDavid Aspinall
2002-07-18New files.David Aspinall
2002-07-18fix README rename.David Aspinall
2002-07-18Set version tag for new release.David Aspinall
2002-07-18Rename READMEs for different provers so dont clash with doc directive.David Aspinall
2002-07-18Update towards 3.4David Aspinall
2002-07-17Set version tag for new release.David Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-07-16Add { and } exampleDavid Aspinall
2002-07-16Updated.David Aspinall
2002-07-16Set version tag for new release.David Aspinall
2002-07-16Example of using pbpDavid Aspinall
2002-07-15Set version tag for new release.David Aspinall
2002-07-14Updated.David Aspinall
2002-07-14Add linksDavid Aspinall
2002-07-14Remove spurious white spaceDavid Aspinall
2002-07-14New files.David Aspinall
2002-07-14Set version tag for new release.David Aspinall
2002-07-14New files.David Aspinall
2002-07-14Cleanup html, fix URLs to final versions.David Aspinall
2002-07-13First customized versionsDavid Aspinall
2002-07-13Fix up. Still ugly.David Aspinall
2002-07-13New files.David Aspinall
2002-07-13Tidy up source, improve titles.David Aspinall
2002-07-13New files.David Aspinall
2002-07-12Add some nesting examplesDavid Aspinall
2002-07-01Set version tag for new release.David Aspinall
2002-06-30New files.David Aspinall
2002-06-20Set version tag for new release.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-19Updated with more notesDavid Aspinall
2002-06-19Set version tag for new release.David 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-02-28 23:08:53 +0000