index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
CHANGES
Commit message (
Expand
)
Author
Age
...
*
Renamed proof-shell-inform-file-processed-cmd
David Aspinall
1999-10-21
*
Changed name to proof-shell-inform-file-processed-cmd
David Aspinall
1999-10-21
*
Fixes.
David Aspinall
1999-10-20
*
Made proof-site only load once.
David Aspinall
1999-10-20
*
Note about queue improvements.
David Aspinall
1999-10-15
*
Mention proof-toolbar-use-enablers
David Aspinall
1999-10-12
*
Speed optimizations, part I.
David Aspinall
1999-10-06
*
Next version will be 3.0 cvs update
David Aspinall
1999-10-06
*
More improvements/fixes for closing unfinished proofs.
David Aspinall
1999-10-06
*
Fixed coalescing of error messages: all error messages from
David Aspinall
1999-10-06
*
Updated
David Aspinall
1999-10-06
*
Updated
David Aspinall
1999-10-06
*
Updated
David Aspinall
1999-10-06
*
Admin changes for version 2.2.
David Aspinall
1999-10-06
*
proof-try-command is deprecated
David Aspinall
1999-10-06
*
Renamed some configuration variables for uniformity, see CHANGES.
David Aspinall
1999-10-01
*
Unhappily added proof-shell-leave-annotations-in-output hack.
David Aspinall
1999-09-29
*
proof-mouse-track-insert only seems to work on XEmacs
David Aspinall
1999-09-29
*
Mentioned proof-mouse-track-insert.
David Aspinall
1999-09-29
*
Updated
David Aspinall
1999-09-28
*
Updated
David Aspinall
1999-09-24
*
Updated
David Aspinall
1999-09-23
*
Updated
David Aspinall
1999-09-22
*
Expanded.
David Aspinall
1999-09-21
*
Updated
David Aspinall
1999-09-13
*
updated
David Aspinall
1999-08-27
*
Changed for version 2.2 pre-release.
David Aspinall
1999-08-27
*
Reverted to 2.1 changes
David Aspinall
1999-08-24
*
Changes for 2.3 series pre-releases.
David Aspinall
1999-08-23
*
Updated.
David Aspinall
1999-08-23
*
Other usability improvements
David Aspinall
1999-08-23
*
Notice about versions supported, fixes.
David Aspinall
1999-07-03
*
Updates for new web pages, todo list.
David Aspinall
1999-06-24
*
Mention Plastic and Isar
David Aspinall
1999-06-07
*
Merged changes sent by Patrick Loiseleur.
David Aspinall
1999-04-07
*
Clarification on isa-thy fix.
David Aspinall
1999-03-08
*
Mentioned PROOFGENERAL_ASSISTANTS
David Aspinall
1999-02-22
*
Updated.
David Aspinall
1999-02-22
*
Mentioned proof-case-fold-search
David Aspinall
1999-02-01
*
Ambitiously mentioned bug fix for Solaris problem
David Aspinall
1999-01-15
*
Updated.
David Aspinall
1999-01-15
*
x-symbol support beginnings
David Aspinall
1998-12-18
*
Beginnings of x-symbol support.
David Aspinall
1998-12-18
*
This file records user-visible changes between versions.
David Aspinall
1998-12-17
[prev]