aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/announce
Commit message (Expand)AuthorAge
* Update for 3.3Gravatar David Aspinall2001-09-03
* Removed link to CHANGES, its buggyGravatar David Aspinall2000-10-02
* Mention Isabelle99-1 changeGravatar David Aspinall2000-10-02
* Mention ACL2 tooGravatar David Aspinall2000-09-29
* Fix URL.Gravatar David Aspinall2000-09-28
* UpdatedGravatar David Aspinall2000-09-27
* Updated for 3.2 releaseGravatar David Aspinall2000-09-26
* Updated for announcement.Gravatar David Aspinall2000-05-29
* Updated for 3.1, removed appendix.Gravatar David Aspinall2000-03-23
* Switch to canonical URL (broken currently)Gravatar David Aspinall2000-02-15
* Updated from version sent to lists.Gravatar David Aspinall1999-12-01
* UpdatedGravatar David Aspinall1999-11-29
* Changed doc linkGravatar David Aspinall1999-11-17
* UpdatesGravatar David Aspinall1999-11-16
* Next version will be 3.0 cvs updateGravatar David Aspinall1999-10-06
* summarize changes since 2.1Gravatar David Aspinall1999-10-06
* Admin changes for version 2.2.Gravatar David Aspinall1999-10-06
* Updated for 2.1Gravatar David Aspinall1999-08-27
* Fixed web address for documentation.Gravatar David Aspinall1998-12-17
* structured announcement some moreGravatar Thomas Kleymann1998-12-16
* Altered order of new para and removed some mailing list addrsGravatar David Aspinall1998-12-14
* . modified mailing listsGravatar Thomas Kleymann1998-12-14
* Added section for UITP/TP researchers, mentioning further possibleGravatar David Aspinall1998-12-14
* Added mention of user documentation.Gravatar David Aspinall1998-11-25
* UpdatedGravatar David Aspinall1998-11-25
* Changed text ready for 2.0 releaseGravatar David Aspinall1998-11-10
* Updated to posted versionGravatar David Aspinall1998-10-13
* removed bra-types and uitp from pre-release messageGravatar Thomas Kleymann1998-10-08
* put isabelle-users address in alphabetic orderGravatar Thomas Kleymann1998-10-02
* Added isabelle-users, mentioned toolbar.Gravatar David Aspinall1998-10-02
* draft for first pre-releaseGravatar Thomas Kleymann1998-10-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-07 05:31:02 +0000