proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update intros.	David Aspinall	2002-08-28
\|
*	Updated.	David Aspinall	2002-07-16
\|
*	Updated.	David Aspinall	2002-07-14
\|
*	Add links	David Aspinall	2002-07-14
\|
*	Remove spurious white space	David Aspinall	2002-07-14
\|
*	New files.	David Aspinall	2002-07-14
\|
*	New files.	David Aspinall	2002-07-14
\|
*	Cleanup html, fix URLs to final versions.	David Aspinall	2002-07-14
\|
*	First customized versions	David Aspinall	2002-07-13
\|
*	Fix up. Still ugly.	David Aspinall	2002-07-13
\|
*	New files.	David Aspinall	2002-07-13
\|
*	Tidy up source, improve titles.	David Aspinall	2002-07-13
\|
*	New files.	David Aspinall	2002-07-13