aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
AgeCommit message (Expand)Author
1999-11-10Improvement of user options, change of terminology.David Aspinall
1999-11-08UpdatedDavid Aspinall
1999-11-08UpdatedDavid Aspinall
1999-10-21Added inform-file-retracted-cmd settingDavid Aspinall
1999-10-21Renamed proof-shell-inform-file-processed-cmdDavid Aspinall
1999-10-21Changed name to proof-shell-inform-file-processed-cmdDavid Aspinall
1999-10-20Fixes.David Aspinall
1999-10-20Made proof-site only load once.David Aspinall
1999-10-15Note about queue improvements.David Aspinall
1999-10-12Mention proof-toolbar-use-enablersDavid Aspinall
1999-10-06Speed optimizations, part I.David Aspinall
1999-10-06Next version will be 3.0 cvs updateDavid Aspinall
1999-10-06More improvements/fixes for closing unfinished proofs.David Aspinall
1999-10-06Fixed coalescing of error messages: all error messages fromDavid Aspinall
1999-10-06UpdatedDavid Aspinall
1999-10-06UpdatedDavid Aspinall
1999-10-06UpdatedDavid Aspinall
1999-10-06Admin changes for version 2.2.David Aspinall
1999-10-06proof-try-command is deprecatedDavid Aspinall
1999-10-01Renamed some configuration variables for uniformity, see CHANGES.David Aspinall
1999-09-29Unhappily added proof-shell-leave-annotations-in-output hack.David Aspinall
1999-09-29proof-mouse-track-insert only seems to work on XEmacsDavid Aspinall
1999-09-29Mentioned proof-mouse-track-insert.David Aspinall
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-03-01 14:38:58 +0000