aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
AgeCommit message (Expand)Author
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-02-01 10:13:40 +0000