proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Revamp style a bit -- not so good with netscape but OK elsewhere.	David Aspinall	2000-09-13
\|
*	Minor updates	David Aspinall	2000-07-12
\|
*	Changes for CVS web style fixup	David Aspinall	2000-07-04
\|
*	Updated web pages.	David Aspinall	2000-03-13
\|
*	Removed unused descitem style.	David Aspinall	1999-12-01
\|
*	Remove LucidaSans, defaults to tt font.	David Aspinall	1999-10-06
\|
*	Streamlined a bit	David Aspinall	1999-06-30
\|
*	Simple hit counter	David Aspinall	1999-06-30
\|
*	Style sheet.	David Aspinall	1999-06-24