proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Mentioned and linked ChangeLog file.	David Aspinall	1999-09-30
*	Set version tag for new release.	David Aspinall	1999-09-29
*	Set version tag for new release.	David Aspinall	1999-09-28
*	Set version tag for new release.	David Aspinall	1999-09-27
*	Added names of helpful people at summer shcool	David Aspinall	1999-09-24
*	Set version tag for new release.	David Aspinall	1999-09-23
*	Fixed up date order.	David Aspinall	1999-09-23
*	Set version tag for new release.	David Aspinall	1999-09-22
*	Added item about Giens	David Aspinall	1999-09-22
*	Set version tag for new release.	David Aspinall	1999-09-21
*	Replaced Patrick with desperate plea for help with Coq PG.	David Aspinall	1999-09-21
*	Set version tag for new release.	David Aspinall	1999-09-13
*	Mention Yves Bertot on about page	David Aspinall	1999-09-13
*	Made a release (ProofGeneral.spec, proof-site.el, download.phtml)	David Aspinall	1999-09-13
*	Note about volume	David Aspinall	1999-08-27
*	Set version tag for new release.	David Aspinall	1999-08-27
*	wording	David Aspinall	1999-08-27
*	Added gallery	David Aspinall	1999-08-27
*	New images for gallery	David Aspinall	1999-08-27
*	Altered release date for 2.1.	David Aspinall	1999-08-24
*	Changes for 2.3 series pre-releases.	David Aspinall	1999-08-23
*	Very soon now = now	David Aspinall	1999-08-23
*	Set version tag for new release.	David Aspinall	1999-08-23
*	Admit that unstable means bugs.	David Aspinall	1999-08-20
*	Tweaks for 2.1 release	David Aspinall	1999-08-20
*	Changes for PG 2.1	David Aspinall	1999-08-20
*	Set version tag for new release.	David Aspinall	1999-08-20
*	Set version tag for new release.	David Aspinall	1999-08-19
*	Mention mailing list	David Aspinall	1999-08-17
*	Mention developers mailing list	David Aspinall	1999-08-17
*	Mail to majordomo, not da	David Aspinall	1999-08-17
*	HTML tweaks	David Aspinall	1999-08-17
*	Set version tag for new release.	David Aspinall	1999-08-17
*	Set version tag for new release.	David Aspinall	1999-07-22
*	Downgraded Isabelle version to 98-1 again	David Aspinall	1999-07-22
*	Set version tag for new release.	David Aspinall	1999-07-16
*	Set version tag for new release.	David Aspinall	1999-07-07
*	Validator address fix.	David Aspinall	1999-07-05
*	Tweaks and validation fixes.	David Aspinall	1999-07-03
*	Fixed validator address.	David Aspinall	1999-07-03
*	Comment	David Aspinall	1999-07-03
*	Request to register a little more encouraging.	David Aspinall	1999-07-03
*	Set version tag for new release.	David Aspinall	1999-07-03
*	Set version tag for new release.	David Aspinall	1999-07-02
*	Missing space.	David Aspinall	1999-07-02
*	Spaces and punctuation	David Aspinall	1999-07-02
*	Notes about php functions.	David Aspinall	1999-07-02
*	Note about doc files absence from devel tarball.	David Aspinall	1999-07-01
*	Set version tag for new release.	David Aspinall	1999-07-01
*	Attribute LFCS on front page	David Aspinall	1999-06-30