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