| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Merge changes from Version4Branch. |  David Aspinall | 2008-07-24 |
| * | Fix RCS tags | David Aspinall | 2008-01-30 |
| * | Updated. | David Aspinall | 2008-01-30 |
| * | Updated. | David Aspinall | 2008-01-30 |
| * | unload-pg: Update features | David Aspinall | 2008-01-28 |
| * | Remove font lock settings for now | David Aspinall | 2008-01-14 |
| * | New files. | David Aspinall | 2008-01-13 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |