proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
*	Fixed link to devel RPM.	David Aspinall	1999-06-28
*	Paraphrased some of the history.	David Aspinall	1999-06-28
*	Set version tag for new release.	David Aspinall	1999-06-28
*	general with whip	David Aspinall	1999-06-28
*	Fixed email addresses	David Aspinall	1999-06-28
*	Got proper file from backup.	David Aspinall	1999-06-28
*	pointer to FSF Emacs	David Aspinall	1999-06-28
*	Set version tag for new release.	proofgen	1999-06-24
*	Support for version 3 browsers added.	David Aspinall	1999-06-24
*	Deleted files.	David Aspinall	1999-06-24
*	New image	David Aspinall	1999-06-24
*	Style sheet.	David Aspinall	1999-06-24
*	Notes about web pages	David Aspinall	1999-06-24
*	New web pages	David Aspinall	1999-06-24
*	.phtml instead	David Aspinall	1999-06-24
*	New images	David Aspinall	1999-06-24
*	Updated to use local validator.	David Aspinall	1998-12-17
*	Link to TOC of documentation html.	David Aspinall	1998-12-17
*	Updated gifs.	David Aspinall	1998-11-20
*	Updated screenshot.	David Aspinall	1998-10-20
*	Fixed top spacing to match other pages.	David Aspinall	1998-10-15
*	Added index bar with bullet holes.	David Aspinall	1998-10-15
*	Changed banner to use gif files for text.	David Aspinall	1998-10-09
*	Changed banner to use gif files for text.	David Aspinall	1998-10-09
*	Deleted files.	David Aspinall	1998-10-09
*	Validator fix	David Aspinall	1998-10-08
*	Validator fixes	David Aspinall	1998-10-08
*	Fixed Validator URLs	David Aspinall	1998-10-08
*	Added text logos. Menu now appears in screenshot.	David Aspinall	1998-10-07
*	Fixed validation errors. Added screenshot page.	David Aspinall	1998-10-07
*	We seduce our audience by fancy pictures and words	David Aspinall	1998-09-10