proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Explain LaTeX mode for Isabelle a bit better	David Aspinall	2004-08-25
\|
*	Update for 3.6 release	David Aspinall	2004-08-25
\|
*	Update for 3.6 release	David Aspinall	2004-08-25
\|
*	Update with date/version.	David Aspinall	2004-05-07
\|
*	Claim auto compilation for Coq.	David Aspinall	2004-05-07
\|
*	Updated.	David Aspinall	2004-04-24
\|
*	Updated.	David Aspinall	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-15
\|
*	Updated.	David Aspinall	2004-04-14
\|
*	Fix version number notes.	David Aspinall	2004-04-14
\|
*	Write summary of changes.	David Aspinall	2004-04-14
\|
*	Updated.	David Aspinall	2004-02-10
\|
*	Updated.	David Aspinall	2004-02-10
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Updated	David Aspinall	2002-08-27
\|
*	Updated	David Aspinall	2002-08-16
\|
*	Update towards 3.4	David Aspinall	2002-07-18
\|
*	Update for 3.3	David Aspinall	2001-09-03
\|
*	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 further benefit in last section
*	Added section for UITP/TP researchers, mentioning further possible	David Aspinall	1998-12-14
\| \| \| \| \| \| \|	projects. Added many more mailing list addresses. Not sure what half of them are, need vetting really.
*	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