index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
etc
/
announce
Commit message (
Expand
)
Author
Age
*
Removed link to CHANGES, its buggy
David Aspinall
2000-10-02
*
Mention Isabelle99-1 change
David Aspinall
2000-10-02
*
Mention ACL2 too
David Aspinall
2000-09-29
*
Fix URL.
David Aspinall
2000-09-28
*
Updated
David Aspinall
2000-09-27
*
Updated for 3.2 release
David Aspinall
2000-09-26
*
Updated for announcement.
David Aspinall
2000-05-29
*
Updated for 3.1, removed appendix.
David Aspinall
2000-03-23
*
Switch to canonical URL (broken currently)
David Aspinall
2000-02-15
*
Updated from version sent to lists.
David Aspinall
1999-12-01
*
Updated
David Aspinall
1999-11-29
*
Changed doc link
David Aspinall
1999-11-17
*
Updates
David Aspinall
1999-11-16
*
Next version will be 3.0 cvs update
David Aspinall
1999-10-06
*
summarize changes since 2.1
David Aspinall
1999-10-06
*
Admin changes for version 2.2.
David Aspinall
1999-10-06
*
Updated for 2.1
David Aspinall
1999-08-27
*
Fixed web address for documentation.
David Aspinall
1998-12-17
*
structured announcement some more
Thomas Kleymann
1998-12-16
*
Altered order of new para and removed some mailing list addrs
David Aspinall
1998-12-14
*
. modified mailing lists
Thomas Kleymann
1998-12-14
*
Added section for UITP/TP researchers, mentioning further possible
David Aspinall
1998-12-14
*
Added mention of user documentation.
David Aspinall
1998-11-25
*
Updated
David Aspinall
1998-11-25
*
Changed text ready for 2.0 release
David Aspinall
1998-11-10
*
Updated to posted version
David Aspinall
1998-10-13
*
removed bra-types and uitp from pre-release message
Thomas Kleymann
1998-10-08
*
put isabelle-users address in alphabetic order
Thomas Kleymann
1998-10-02
*
Added isabelle-users, mentioned toolbar.
David Aspinall
1998-10-02
*
draft for first pre-release
Thomas Kleymann
1998-10-02