proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Set version tag for new release.	David Aspinall	2011-06-09
\|
*	Set version tag for new release.	David Aspinall	2011-06-07
\|
*	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
\|
*	- add ".vo", ".glob" to completion-ignored-extensions when Proof	Hendrik Tews	2011-05-12
\| \| \| \|	General is loaded
*	Version year	David Aspinall	2011-05-06
\|
*	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
\|
*	Set version tag for new release.	David Aspinall	2011-01-25
\|
*	Set version tag for new release.	David Aspinall	2011-01-24
\|
*	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
\|
*	Set version tag for new release.	David Aspinall	2010-12-10
\|
*	Set version tag for new release.	David Aspinall	2010-11-25
\|
*	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
\|
*	Reenable LEGO since it's included in docs (needed for make magic)	David Aspinall	2010-10-10
\|
*	Disable lego and hol-light by default	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
\|
*	Adjust default prover configurations. Add new entry points.	David Aspinall	2010-09-29
\|
*	Set version tag for new release.	David Aspinall	2010-09-27
\|
*	Set version tag for new release.	David Aspinall	2010-09-09
\|
*	Set version tag for new release.	David Aspinall	2010-09-08
\|
*	Set version tag for new release.	David Aspinall	2010-08-27
\|
*	Replace proof-terminal-char with proof-terminal-string.	David Aspinall	2010-08-27
\|
*	Remove obsolete provers	David Aspinall	2010-08-25
\|
*	Set version tag for new release.	David Aspinall	2010-08-25
\|
*	Set version tag for new release.	David Aspinall	2010-08-23
\|
*	Set version tag for new release.	David Aspinall	2010-08-19
\|
*	Set version tag for new release.	David Aspinall	2010-08-17
\|