aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
AgeCommit message (Expand)Author
1999-09-28UpdatedDavid Aspinall
1999-09-24UpdatedDavid Aspinall
1999-09-23UpdatedDavid Aspinall
1999-09-22UpdatedDavid Aspinall
1999-09-21Expanded.David Aspinall
1999-09-13UpdatedDavid Aspinall
1999-08-27updatedDavid Aspinall
1999-08-27Changed for version 2.2 pre-release.David Aspinall
1999-08-24Reverted to 2.1 changesDavid Aspinall
1999-08-23Changes for 2.3 series pre-releases.David Aspinall
1999-08-23Updated.David Aspinall
1999-08-23Other usability improvementsDavid Aspinall
1999-07-03Notice about versions supported, fixes.David Aspinall
1999-06-24Updates for new web pages, todo list.David Aspinall
1999-06-07Mention Plastic and IsarDavid Aspinall
1999-04-07Merged changes sent by Patrick Loiseleur.David Aspinall
1999-03-08Clarification on isa-thy fix.David Aspinall
1999-02-22Mentioned PROOFGENERAL_ASSISTANTSDavid Aspinall
1999-02-22Updated.David Aspinall
1999-02-01Mentioned proof-case-fold-searchDavid Aspinall
1999-01-15Ambitiously mentioned bug fix for Solaris problemDavid Aspinall
1999-01-15Updated.David Aspinall
1998-12-18x-symbol support beginningsDavid Aspinall
1998-12-18Beginnings of x-symbol support.David Aspinall
1998-12-17This file records user-visible changes between versions.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 19:28:22 +0000