proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Bump version from 4.4.1~pre to 4.5-git	Erik Martin-Dorel	2018-08-22
\| \| \| \|	This commit ensures the version number is (version-to-list)-compliant.
*	Bump version number for next release cycle.	Erik Martin-Dorel	2016-09-19
\|
*	Update the documentation and prepare the release 4.4.	Erik Martin-Dorel	2016-09-18
\|
*	More version number fixes	Clément Pit--Claudel	2016-02-13
\|
*	Set version tag for new release.	David Aspinall	2015-03-13
\|
*	Set version tag for new release.	David Aspinall	2015-02-02
\|
*	Set version tag for new release.	David Aspinall	2015-01-05
\|
*	Set version tag for new release.	David Aspinall	2013-10-11
\|
*	Set version tag for new release.	David Aspinall	2013-07-17
\|
*	Set version tag for new release.	David Aspinall	2013-07-05
\|
*	Set version tag for new release.	David Aspinall	2013-05-22
\|
*	Set version tag for new release.	David Aspinall	2013-05-10
\|
*	Set version tag for new release.	David Aspinall	2013-03-27
\|
*	Set version tag for new release.	David Aspinall	2013-01-11
\|
*	Set version tag for new release.	David Aspinall	2012-10-19
\|
*	Set version tag for new release.	David Aspinall	2012-10-19
\|
*	Set version tag for new release.	David Aspinall	2012-09-14
\|
*	Set version tag for new release.	David Aspinall	2012-09-04
\|
*	Set version tag for new release.	David Aspinall	2012-09-02
\|
*	Set version tag for new release.	David Aspinall	2012-08-14
\|
*	Set version tag for new release.	David Aspinall	2012-08-09
\|
*	Set version tag for new release.	David Aspinall	2012-07-27
\|
*	Set version tag for new release.	David Aspinall	2012-07-23
\|
*	Set version tag for new release.	David Aspinall	2012-06-05
\|
*	Set version tag for new release.	David Aspinall	2012-04-30
\|
*	Set version tag for new release.	David Aspinall	2012-04-11
\|
*	Set version tag for new release.	David Aspinall	2012-02-06
\|
*	Set version tag for new release.	David Aspinall	2012-01-12
\|
*	Set version tag for new release.	David Aspinall	2012-01-10
\|
*	Set version tag for new release.	David Aspinall	2012-01-04
\|
*	Set version tag for new release.	David Aspinall	2011-12-07
\|
*	Set version tag for new release.	David Aspinall	2011-10-17
\|
*	Set version tag for new release.	David Aspinall	2011-10-13
\|
*	Set version tag for new release.	David Aspinall	2011-10-03
\|
*	Set version tag for new release.	David Aspinall	2011-09-16
\|
*	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
\|
*	Set version tag for new release.	David Aspinall	2011-05-05
\|
*	Set version tag for new release.	David Aspinall	2011-04-26
\|