proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Minor changes and improvements	David Aspinall	2000-09-13
\|
*	Link to two manuals now.	David Aspinall	2000-08-28
\|
*	Make doc link to 3.1, not pre-release. Minor extra editing on new release.	David Aspinall	2000-05-25
\|
*	Reference tweak	David Aspinall	2000-05-16
\|
*	Better reference to TACAS paper. Added link to white paper draft.	David Aspinall	2000-05-16
\|
*	Draft slides no longer draft. Fix broken link, too.	David Aspinall	2000-03-24
\|
*	Added slides, news about ETAPS demo.	David Aspinall	1999-12-14
\|
*	Add technology overview paper.	David Aspinall	1999-11-26
\|
*	Recommend the ps file over the pdf.	David Aspinall	1999-11-24
\|
*	Clarify formats available.	David Aspinall	1999-11-23
\|
*	Added link to pdf file.	David Aspinall	1999-11-22
\|
*	Doc fixes, php streamlining	David Aspinall	1999-10-15
\|
*	Tweaks for 2.1 release	David Aspinall	1999-08-20
\|
*	Mention mailing list	David Aspinall	1999-08-17
\|
*	Tweaks and validation fixes.	David Aspinall	1999-07-03
\|
*	Simple hit counter	David Aspinall	1999-06-30
\|
*	Link for printing download is just .ps.gz now.	David Aspinall	1999-06-28
\|
*	New web pages	David Aspinall	1999-06-24