| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2000-05-29 | Updated for announcement. | David Aspinall | |
| 2000-03-23 | Updated for 3.1, removed appendix. | David Aspinall | |
| 2000-02-15 | Switch to canonical URL (broken currently) | David Aspinall | |
| 1999-12-01 | Updated from version sent to lists. | David Aspinall | |
| 1999-11-29 | Updated | David Aspinall | |
| 1999-11-17 | Changed doc link | David Aspinall | |
| 1999-11-16 | Updates | David Aspinall | |
| 1999-10-06 | Next version will be 3.0 cvs update | David Aspinall | |
| 1999-10-06 | summarize changes since 2.1 | David Aspinall | |
| 1999-10-06 | Admin changes for version 2.2. | David Aspinall | |
| 1999-08-27 | Updated for 2.1 | David Aspinall | |
| 1998-12-17 | Fixed web address for documentation. | David Aspinall | |
| 1998-12-16 | structured announcement some more | Thomas Kleymann | |
| 1998-12-14 | Altered order of new para and removed some mailing list addrs | David Aspinall | |
| 1998-12-14 | . modified mailing lists | Thomas Kleymann | |
| . added further benefit in last section | |||
| 1998-12-14 | Added section for UITP/TP researchers, mentioning further possible | David Aspinall | |
| projects. Added many more mailing list addresses. Not sure what half of them are, need vetting really. | |||
| 1998-11-25 | Added mention of user documentation. | David Aspinall | |
| 1998-11-25 | Updated | David Aspinall | |
| 1998-11-10 | Changed text ready for 2.0 release | David Aspinall | |
| 1998-10-13 | Updated to posted version | David Aspinall | |
| 1998-10-08 | removed bra-types and uitp from pre-release message | Thomas Kleymann | |
| 1998-10-02 | put isabelle-users address in alphabetic order | Thomas Kleymann | |
| 1998-10-02 | Added isabelle-users, mentioned toolbar. | David Aspinall | |
| 1998-10-02 | draft for first pre-release | Thomas Kleymann | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |