proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Modified, now white paper contains DTDs (soon)	David Aspinall	2000-07-16
\|
*	New project (unlinked yet)	David Aspinall	2000-05-09
\|
*	Added new project B4	David Aspinall	2000-04-04
\|
*	Improved links, new project on ACS.	David Aspinall	2000-03-19
\|
*	Updated web pages.	David Aspinall	2000-03-13
\|
*	Updated	David Aspinall	2000-03-10
\|
*	Added project for HOL PG	David Aspinall	2000-03-09
\|
*	Tweaks	David Aspinall	2000-03-09
\|
*	Added link to Claudios page.	David Aspinall	2000-03-08
\|
*	English	David Aspinall	2000-03-08
\|
*	Elaborated idea a bit	David Aspinall	2000-03-08
\|
*	New projects added	David Aspinall	2000-03-01
\|
*	New projects directory.	David Aspinall	2000-02-29