proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Set version tag for new release.	David Aspinall	1999-11-12
\|
*	Set version tag for new release.	David Aspinall	1999-11-10
\|
*	Set version tag for new release.	David Aspinall	1999-11-09
\|
*	No unless noted	David Aspinall	1999-11-09
\|
*	News about x-symbol	David Aspinall	1999-11-09
\|
*	Note about release 3.0.	David Aspinall	1999-11-08
\|
*	Set version tag for new release.	David Aspinall	1999-11-02
\|
*	Set version tag for new release.	David Aspinall	1999-10-22
\|
*	Typo.	David Aspinall	1999-10-21
\|
*	Set version tag for new release.	David Aspinall	1999-10-21
\|
*	Updated for new screenshot	David Aspinall	1999-10-21
\|
*	New screenshot	David Aspinall	1999-10-21
\|
*	Set version tag for new release.	David Aspinall	1999-10-20
\|
*	Fixed bug	David Aspinall	1999-10-15
\|
*	Doc fixes, php streamlining	David Aspinall	1999-10-15
\|
*	Formatting	David Aspinall	1999-10-15
\|
*	Set version tag for new release.	David Aspinall	1999-10-14
\|
*	Version 3.0 message	David Aspinall	1999-10-14
\|
*	Wording	David Aspinall	1999-10-12
\|
*	Note about author added, removed signatures.	David Aspinall	1999-10-12
\|
*	New Coq maintainer.	David Aspinall	1999-10-12
\|
*	Set version tag for new release.	David Aspinall	1999-10-12
\|
*	Set version tag for new release.	David Aspinall	1999-10-07
\|
*	Remove LucidaSans, defaults to tt font.	David Aspinall	1999-10-06
\|
*	News later this month.	David Aspinall	1999-10-06
\|
*	Next version will be 3.0 cvs update	David Aspinall	1999-10-06
\|
*	Set version tag for new release.	David Aspinall	1999-10-01
\|
*	News for 1st October.	David Aspinall	1999-09-30
\|
*	Set version tag for new release.	David Aspinall	1999-09-30
\|
*	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
\| \| \| \| \|	Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present
*	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
\|