proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update with Windows instructions, note about X-Symbol not on Windows	David Aspinall	2000-03-23
\|
*	Updated for 3.1 release	David Aspinall	2000-03-23
\|
*	Updated web pages.	David Aspinall	2000-03-13
\|
*	Fixup tar options	David Aspinall	2000-02-17
\|
*	New development pages added, more links	David Aspinall	2000-02-15
\|
*	Improved download docs	David Aspinall	2000-02-09
\|
*	Direction to look at BUGS file	David Aspinall	2000-02-09
\|
*	Fix link to SRPM.	David Aspinall	1999-12-03
\|
*	Moved notice about license to download.phtml. Made plea for registration ↵	David Aspinall	1999-12-01
\| \| \| \|	even more pitiful.
*	Shorten note about imenu.	David Aspinall	1999-12-01
\|
*	Mention using imenu instead of func-menu.	David Aspinall	1999-12-01
\|
*	Updates for 3.0 release.	David Aspinall	1999-11-26
\|
*	Added link to eps file	David Aspinall	1999-11-22
\|
*	Section on what you need for PG	David Aspinall	1999-11-18
\|
*	Tweaks	David Aspinall	1999-11-17
\|
*	Reordering.	David Aspinall	1999-11-17
\|
*	Split download page into three parts.	David Aspinall	1999-11-17
\|
*	Set version tag for new release.	David Aspinall	1999-11-16
\|
*	Updates	David Aspinall	1999-11-16
\|
*	Set version tag for new release.	David Aspinall	1999-11-15
\|
*	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
\|
*	Set version tag for new release.	David Aspinall	1999-11-02
\|
*	Set version tag for new release.	David Aspinall	1999-10-22
\|
*	Set version tag for new release.	David Aspinall	1999-10-21
\|
*	Set version tag for new release.	David Aspinall	1999-10-20
\|
*	Set version tag for new release.	David Aspinall	1999-10-14
\|
*	Wording	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
\|
*	Next version will be 3.0 cvs update	David Aspinall	1999-10-06
\|
*	Set version tag for new release.	David Aspinall	1999-10-01
\|
*	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
\|
*	Set version tag for new release.	David Aspinall	1999-09-23
\|
*	Set version tag for new release.	David Aspinall	1999-09-22
\|
*	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
\|