proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	Add pg-xml-encode-entities.	David Aspinall	2002-11-28
\|
*	Disable message display when parsing xml strings.	David Aspinall	2002-11-14
\|
*	Fix autoload	David Aspinall	2002-08-15
\|
*	GPL	David Aspinall	2002-06-21
\|
*	Add header to XML docs	David Aspinall	2002-03-21
\|
*	Issue parsing messages	David Aspinall	2001-09-04
\|
*	Clean-up compile	David Aspinall	2001-07-09
\|
*	Copyright date updated	David Aspinall	2001-05-08
\|
*	fixed format strings in message, error, etc.	Makarius Wenzel	2001-01-11
\|
*	Add provide	David Aspinall	2000-12-07
\|
*	Added pg-xml-parse-string function.	David Aspinall	2000-11-24
\|
*	New file	David Aspinall	2000-06-01