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
*
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