aboutsummaryrefslogtreecommitdiff
path: root/etc/announce
AgeCommit message (Expand)Author
2000-03-23Updated for 3.1, removed appendix.David Aspinall
2000-02-15Switch to canonical URL (broken currently)David Aspinall
1999-12-01Updated from version sent to lists.David Aspinall
1999-11-29UpdatedDavid Aspinall
1999-11-17Changed doc linkDavid Aspinall
1999-11-16UpdatesDavid Aspinall
1999-10-06Next version will be 3.0 cvs updateDavid Aspinall
1999-10-06summarize changes since 2.1David Aspinall
1999-10-06Admin changes for version 2.2.David Aspinall
1999-08-27Updated for 2.1David Aspinall
1998-12-17Fixed web address for documentation.David Aspinall
1998-12-16structured announcement some moreThomas Kleymann
1998-12-14Altered order of new para and removed some mailing list addrsDavid Aspinall
1998-12-14. modified mailing listsThomas Kleymann
1998-12-14Added section for UITP/TP researchers, mentioning further possibleDavid Aspinall
1998-11-25Added mention of user documentation.David Aspinall
1998-11-25UpdatedDavid Aspinall
1998-11-10Changed text ready for 2.0 releaseDavid Aspinall
1998-10-13Updated to posted versionDavid Aspinall
1998-10-08removed bra-types and uitp from pre-release messageThomas Kleymann
1998-10-02put isabelle-users address in alphabetic orderThomas Kleymann
1998-10-02Added isabelle-users, mentioned toolbar.David Aspinall
1998-10-02draft for first pre-releaseThomas Kleymann
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 00:41:28 +0000