aboutsummaryrefslogtreecommitdiff
path: root/etc/announce
AgeCommit message (Expand)Author
2007-12-12Deleted fileDavid Aspinall
2004-08-25Explain LaTeX mode for Isabelle a bit betterDavid Aspinall
2004-08-25Update for 3.6 releaseDavid Aspinall
2004-08-25Update for 3.6 releaseDavid Aspinall
2004-05-07Update with date/version.David Aspinall
2004-05-07Claim auto compilation for Coq.David Aspinall
2004-04-24Updated.David Aspinall
2004-04-16Updated.David Aspinall
2004-04-16Updated.David Aspinall
2004-04-15Updated.David Aspinall
2004-04-14Updated.David Aspinall
2004-04-14Fix version number notes.David Aspinall
2004-04-14Write summary of changes.David Aspinall
2004-02-10Updated.David Aspinall
2004-02-10Updated.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-27UpdatedDavid Aspinall
2002-08-16UpdatedDavid Aspinall
2002-07-18Update towards 3.4David Aspinall
2001-09-03Update for 3.3David Aspinall
2000-10-02Removed link to CHANGES, its buggyDavid Aspinall
2000-10-02Mention Isabelle99-1 changeDavid Aspinall
2000-09-29Mention ACL2 tooDavid Aspinall
2000-09-28Fix URL.David Aspinall
2000-09-27UpdatedDavid Aspinall
2000-09-26Updated for 3.2 releaseDavid Aspinall
2000-05-29Updated for announcement.David Aspinall
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-02-02 07:11:58 +0000