proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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