Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Updated. | 2002-08-29 | |
* | Updated | 2002-08-27 | |
* | Updated | 2002-08-16 | |
* | Update towards 3.4 | 2002-07-18 | |
* | Update for 3.3 | 2001-09-03 | |
* | Removed link to CHANGES, its buggy | 2000-10-02 | |
* | Mention Isabelle99-1 change | 2000-10-02 | |
* | Mention ACL2 too | 2000-09-29 | |
* | Fix URL. | 2000-09-28 | |
* | Updated | 2000-09-27 | |
* | Updated for 3.2 release | 2000-09-26 | |
* | Updated for announcement. | 2000-05-29 | |
* | Updated for 3.1, removed appendix. | 2000-03-23 | |
* | Switch to canonical URL (broken currently) | 2000-02-15 | |
* | Updated from version sent to lists. | 1999-12-01 | |
* | Updated | 1999-11-29 | |
* | Changed doc link | 1999-11-17 | |
* | Updates | 1999-11-16 | |
* | Next version will be 3.0 cvs update | 1999-10-06 | |
* | summarize changes since 2.1 | 1999-10-06 | |
* | Admin changes for version 2.2. | 1999-10-06 | |
* | Updated for 2.1 | 1999-08-27 | |
* | Fixed web address for documentation. | 1998-12-17 | |
* | structured announcement some more | 1998-12-16 | |
* | Altered order of new para and removed some mailing list addrs | 1998-12-14 | |
* | . modified mailing lists | 1998-12-14 | |
* | Added section for UITP/TP researchers, mentioning further possible | 1998-12-14 | |
* | Added mention of user documentation. | 1998-11-25 | |
* | Updated | 1998-11-25 | |
* | Changed text ready for 2.0 release | 1998-11-10 | |
* | Updated to posted version | 1998-10-13 | |
* | removed bra-types and uitp from pre-release message | 1998-10-08 | |
* | put isabelle-users address in alphabetic order | 1998-10-02 | |
* | Added isabelle-users, mentioned toolbar. | 1998-10-02 | |
* | draft for first pre-release | 1998-10-02 |