| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Make tests succeed, although still two or three underlying bugs |  David Aspinall | 2010-08-25 |
| * | Comment out some lines so that processes. | David Aspinall | 2010-08-13 |
| * | Updated. | David Aspinall | 2010-08-13 |
| * | Try to fix processing of this file | David Aspinall | 2010-08-11 |
| * | Point to Trac #313 | David Aspinall | 2009-12-01 |
| * | Remove some spaces | David Aspinall | 2009-09-08 |
| * | Remove more of 80 code | David Aspinall | 2009-09-08 |
| * | Merge changes from Version4Branch. | David Aspinall | 2008-07-24 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |