Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Changed doc link | David Aspinall | 1999-11-17 |
| | |||
* | Updates | David Aspinall | 1999-11-16 |
| | |||
* | 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-10-06 |
| | |||
* | Updated for 2.1 | David Aspinall | 1999-08-27 |
| | |||
* | Fixed web address for documentation. | David Aspinall | 1998-12-17 |
| | |||
* | structured announcement some more | Thomas Kleymann | 1998-12-16 |
| | |||
* | Altered order of new para and removed some mailing list addrs | David Aspinall | 1998-12-14 |
| | |||
* | . modified mailing lists | Thomas Kleymann | 1998-12-14 |
| | | | | . added further benefit in last section | ||
* | Added section for UITP/TP researchers, mentioning further possible | David Aspinall | 1998-12-14 |
| | | | | | | | projects. Added many more mailing list addresses. Not sure what half of them are, need vetting really. | ||
* | Added mention of user documentation. | David Aspinall | 1998-11-25 |
| | |||
* | Updated | David Aspinall | 1998-11-25 |
| | |||
* | Changed text ready for 2.0 release | David Aspinall | 1998-11-10 |
| | |||
* | Updated to posted version | David Aspinall | 1998-10-13 |
| | |||
* | removed bra-types and uitp from pre-release message | Thomas Kleymann | 1998-10-08 |
| | |||
* | 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 | 1998-10-02 |