proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Set version tag for new release.	David Aspinall	2009-05-26
\|
*	* empty log message *	David Aspinall	2009-05-26
\|
*	Test case for #266	David Aspinall	2009-05-26
\|
*	Revise example for Isabelle 2009, showing use of two commands on a line.	David Aspinall	2009-05-26
\|
*	Set version tag for new release.	David Aspinall	2009-04-16
\|
*	Set version tag for new release.	David Aspinall	2008-12-05
\|
*	Set version tag for new release.	David Aspinall	2008-09-19
\|
*	Updated.	David Aspinall	2008-08-03
\|
*	Remove XEmacs package, now single RPM.	David Aspinall	2008-08-03
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Set version tag for new release.	David Aspinall	2008-07-23
\|
*	Set version tag for new release.	David Aspinall	2008-07-22
\|
*	New files.	David Aspinall	2008-07-19
\|
*	Update for new syntax	David Aspinall	2008-07-19
\|
*	Set version tag for new release.	David Aspinall	2008-07-19
\|
*	Set version tag for new release.	David Aspinall	2008-07-17
\|
*	Set version tag for new release.	David Aspinall	2008-07-12
\|
*	Updated.	David Aspinall	2008-07-12
\|
*	Set version tag for new release.	David Aspinall	2008-07-10
\|
*	New files.	David Aspinall	2008-07-10
\|
*	Set version tag for new release.	David Aspinall	2008-07-08
\|
*	Set version tag for new release.	David Aspinall	2008-07-07
\|
*	New files.	David Aspinall	2008-07-06
\|
*	Set version tag for new release.	David Aspinall	2008-07-06
\|
*	Set version tag for new release.	David Aspinall	2008-07-05
\|
*	Trac regressions	David Aspinall	2008-07-05
\|
*	obsolete;	Makarius Wenzel	2008-06-14
\|
*	Set version tag for new release.	David Aspinall	2008-05-26
\|
*	Set version tag for new release.	David Aspinall	2008-02-17
\|
*	New files.	David Aspinall	2008-02-17
\|
*	Set version tag for new release.	David Aspinall	2008-02-06
\|
*	Deleted file	David Aspinall	2008-02-03
\|
*	Set version tag for new release.	David Aspinall	2008-01-31
\|
*	Fix date	David Aspinall	2008-01-31
\|
*	Remove semi-colons. Literal commands triggered in response buffer	David Aspinall	2008-01-31
\| \| \| \| \|	are now sent individually. Should be compatible with original PBP behaviour which worked from goals buffer (and is anyway no longer used).
*	Set version tag for new release.	David Aspinall	2008-01-31
\|
*	Move to .tgz	David Aspinall	2008-01-30
\|
*	Set version tag for new release.	David Aspinall	2008-01-30
\|
*	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
\|