proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Set version tag for new release.	David Aspinall	1999-09-21
\|
*	Set version tag for new release.	David Aspinall	1999-09-13
\|
*	Made a release (ProofGeneral.spec, proof-site.el, download.phtml)	David Aspinall	1999-09-13
\| \| \| \| \|	Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present
*	Set version tag for new release.	David Aspinall	1999-08-27
\|
*	Added 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
\|
*	Set version tag for new release.	David Aspinall	1999-08-23
\|
*	Admit that unstable means bugs.	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 developers mailing list	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
\|
*	Set version tag for new release.	David Aspinall	1999-07-16
\|
*	Set version tag for new release.	David Aspinall	1999-07-07
\|
*	Tweaks and validation fixes.	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
\|
*	Spaces and punctuation	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
\|
*	Set version tag for new release.	David Aspinall	1999-06-30
\|
*	Simple hit counter	David Aspinall	1999-06-30
\|
*	Fixed link to devel RPM.	David Aspinall	1999-06-28
\|
*	Set version tag for new release.	David Aspinall	1999-06-28
\|
*	Set version tag for new release.	proofgen	1999-06-24
\|
*	New web pages	David Aspinall	1999-06-24