proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	New files.	David Aspinall	2008-01-29
\|
*	Updated.	David Aspinall	2008-01-29
\|
*	Set version tag for new release.	David Aspinall	2008-01-29
\|
*	New files.	David Aspinall	2008-01-29
\|
*	Set version tag for new release.	David Aspinall	2008-01-27
\|
*	Updated.	David Aspinall	2008-01-25
\|
*	Patch and cleanup for Coq indent code, see ↵	David Aspinall	2008-01-25
\| \| \| \|	http://proofgeneral.inf.ed.ac.uk/trac/ticket/173
*	Updated.	David Aspinall	2008-01-25
\|
*	Set version tag for new release.	David Aspinall	2008-01-25
\|
*	Set version tag for new release.	David Aspinall	2008-01-24
\|
*	Deleted file	David Aspinall	2008-01-24
\|
*	Set version tag for new release.	David Aspinall	2008-01-17
\|
*	Updated.	David Aspinall	2008-01-17
\|
*	Set version tag for new release.	David Aspinall	2008-01-16
\|
*	Updated.	David Aspinall	2008-01-16
\|
*	Updated.	David Aspinall	2008-01-15
\|
*	Updated.	David Aspinall	2008-01-15
\|
*	Set version tag for new release.	David Aspinall	2008-01-15
\|
*	Many compatibility updates, bug fixes, rearrangements for compilation.	David Aspinall	2008-01-15
\|
*	Set version tag for new release.	David Aspinall	2007-12-14
\|
*	Updated.	David Aspinall	2007-12-14
\|
*	New files.	David Aspinall	2007-12-14
\|
*	New files.	David Aspinall	2007-12-13
\|
*	Renamed file	David Aspinall	2007-12-13
\|
*	Deleted file	David Aspinall	2007-12-12
\|
*	Deleted file	David Aspinall	2007-12-12
\|
*	Set version tag for new release.	David Aspinall	2007-12-10
\|
*	New files.	David Aspinall	2007-12-09
\|
*	Patch for buggy derived.el in XEmacs 21.5.b28	David Aspinall	2007-12-09
\|
*	New files.	David Aspinall	2007-12-08
\|
*	Set version tag for new release.	David Aspinall	2007-11-12
\|
*	Use %{version} tag in source file name	David Aspinall	2007-10-25
\|
*	Set version tag for new release.	David Aspinall	2007-10-25
\|
*	New files.	David Aspinall	2007-09-17
\|
*	Set version tag for new release.	David Aspinall	2007-09-10
\|
*	proper use of ProofGeneral.sendback;	Makarius Wenzel	2007-08-20
\|
*	Set version tag for new release.	David Aspinall	2007-08-19
\|
*	Test ProofGeneral.sendback	David Aspinall	2007-08-19
\|
*	Add support for sending back literal commands reusing PBP markup mechanisms.	David Aspinall	2007-08-14
\|
*	Set version tag for new release.	David Aspinall	2007-07-04
\|
*	Set version tag for new release.	David Aspinall	2007-06-19
\|
*	Set version tag for new release.	David Aspinall	2007-06-10
\|
*	Set version tag for new release.	David Aspinall	2007-06-08
\|
*	Set version tag for new release.	David Aspinall	2007-06-05
\|
*	Updated.	David Aspinall	2007-05-25
\|
*	New files.	David Aspinall	2007-05-25
\|
*	Set version tag for new release.	David Aspinall	2007-05-10
\|
*	Set version tag for new release.	David Aspinall	2007-03-12
\|
*	Set version tag for new release.	David Aspinall	2007-03-04
\|
*	Set version tag for new release.	David Aspinall	2007-03-03
\|