| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Add nested section example to increase the horror. |  David Aspinall | 2002-06-19 |
| * | Added End for sections, and silly test | David Aspinall | 2002-06-19 |
| * | 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-18 |
| * | 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-12 |
| * | Replace with example from Pierre | David Aspinall | 2002-06-11 |
| * | New files. | David Aspinall | 2002-06-11 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |