proof-general - Emacs interface for proof assistants

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