| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2002-06-19 | Add nested section example to increase the horror. | David Aspinall | |
| 2002-06-19 | Added End for sections, and silly test | David Aspinall | |
| 2002-06-18 | Added some non-undoable tactics | David Aspinall | |
| 2002-06-18 | Added some sections | David Aspinall | |
| 2002-06-18 | Fix | David Aspinall | |
| 2002-06-18 | Add more declarations | David Aspinall | |
| 2002-06-12 | More test cases, summary of situation. | David Aspinall | |
| 2002-06-12 | Note of another bug | David Aspinall | |
| 2002-06-12 | Add test t4 for extra depth of nesting | David Aspinall | |
| 2002-06-11 | Replace with example from Pierre | David Aspinall | |
| 2002-06-11 | New files. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |