proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	some local buffer properties;	Makarius Wenzel	2011-09-04
\|
*	Set version tag for new release.	David Aspinall	2011-08-24
\|
*	Set version tag for new release.	David Aspinall	2011-08-23
\|
*	Set version tag for new release.	David Aspinall	2011-06-22
\|
*	Set version tag for new release.	David Aspinall	2011-06-22
\|
*	Set version tag for new release.	David Aspinall	2011-06-10
\|
*	Set version tag for new release.	David Aspinall	2011-06-10
\|
*	Deleted file	David Aspinall	2011-06-10
\|
*	Change linebreaks as Hendrik would like, not wiki formatted(!)	David Aspinall	2011-06-09
\|
*	parsing check from Trac #410	David Aspinall	2011-06-09
\|
*	Set version tag for new release.	David Aspinall	2011-06-09
\|
*	Set version tag for new release.	David Aspinall	2011-06-07
\|
*	Record of bug report sent	David Aspinall	2011-06-06
\|
*	* empty log message *	David Aspinall	2011-06-06
\|
*	Set version tag for new release.	David Aspinall	2011-06-01
\|
*	Set version tag for new release.	David Aspinall	2011-05-30
\|
*	Set version tag for new release.	David Aspinall	2011-05-27
\|
*	Set version tag for new release.	David Aspinall	2011-05-16
\|
*	Set version tag for new release.	David Aspinall	2011-05-12
\|
*	Set version tag for new release.	David Aspinall	2011-05-05
\|
*	Set version tag for new release.	David Aspinall	2011-04-26
\|
*	Set version tag for new release.	David Aspinall	2011-03-09
\|
*	Set version tag for new release.	David Aspinall	2011-02-23
\|
*	Set version tag for new release.	David Aspinall	2011-01-31
\|
*	Note about declare-function	David Aspinall	2011-01-30
\|
*	Remove semis	David Aspinall	2011-01-25
\|
*	Set version tag for new release.	David Aspinall	2011-01-25
\|
*	Set version tag for new release.	David Aspinall	2011-01-24
\|
*	updated theory headers;	Makarius Wenzel	2011-01-23
\|
*	Set version tag for new release.	David Aspinall	2011-01-19
\|
*	Set version tag for new release.	David Aspinall	2011-01-18
\|
*	Set version tag for new release.	David Aspinall	2011-01-12
\|
*	Set version tag for new release.	David Aspinall	2010-12-16
\|
*	Updated	David Aspinall	2010-12-15
\|
*	Set version tag for new release.	David Aspinall	2010-12-10
\|
*	Set version tag for new release.	David Aspinall	2010-11-25
\|
*	Address http://proofgeneral.inf.ed.ac.uk/trac/ticket/379	David Aspinall	2010-11-09
\|
*	Set version tag for new release.	David Aspinall	2010-11-03
\|
*	Set version tag for new release.	David Aspinall	2010-10-11
\|
*	Set version tag for new release.	David Aspinall	2010-10-11
\|
*	Set version tag for new release.	David Aspinall	2010-10-10
\|
*	Set version tag for new release.	David Aspinall	2010-10-10
\|
*	Updated	David Aspinall	2010-10-10
\|
*	Set version tag for new release.	David Aspinall	2010-10-10
\|
*	Set version tag for new release.	David Aspinall	2010-10-04
\|
*	Set version tag for new release.	David Aspinall	2010-10-01
\|
*	Set version tag for new release.	David Aspinall	2010-09-29
\|
*	Set version tag for new release.	David Aspinall	2010-09-27
\|
*	Test case	David Aspinall	2010-09-27
\|
*	* empty log message *	David Aspinall	2010-09-24
\|