| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | GPL |  David Aspinall | 2002-06-21 |
| | | |||
| * | Year changes | David Aspinall | 2002-03-21 |
| | | |||
| * | Fix some bugs shown by byte comp | David Aspinall | 2001-07-09 |
| | | |||
| * | Copyright date updated | David Aspinall | 2001-05-08 |
| | | |||
| * | Typo. | David Aspinall | 2000-12-07 |
| | | |||
| * | Beginnings of pgip processing | David Aspinall | 2000-12-07 |
| | | |||
| * | Functions to process pgip commands. | David Aspinall | 2000-11-24 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |