| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | News updated |  David Aspinall | 2000-08-28 |
| | | |||
| * | Updated news about 3.1.3, split old news out. | David Aspinall | 2000-04-04 |
| | | |||
| * | in url, change ~dcs7ttg to CARG, the permanent form |  Paul Callaghan | 2000-01-18 |
| | | |||
| * | Add attribute that news was written by me. | David Aspinall | 1999-12-01 |
| | | |||
| * | Old news file | David Aspinall | 1999-11-25 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |