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.
*	Merge pull request #200 from craff/master	Erik Martin-Dorel	2018-08-22
\|\ \| \| \| \|	Update phox support
* \|	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel	2018-02-21
\| \|
\| *	phox is back	Christophe Raffalli	2017-09-22
\|/
*	Fix easycrypt automode regexp	Mario Rodas	2017-06-19
\| \| \| \| \|	Without the string-end regexp matches all the file names which match the regexp `.eca?`.
*	Fix incorrect uses of defvar	Clément Pit--Claudel	2017-03-08
\| \| \| \| \| \| \|	It didn't really matter that these variables were defined and set to nil during compilation, since we ran compilation in a clean Emacs in --batch mode; it does matter now, however, since package.el compiles PG in the user's currently running Emacs instance.
*	move phox from main to obscure instances	Hendrik Tews	2017-01-17
\| \| \| \| \|	see http://proofgeneral.inf.ed.ac.uk/trac/ticket/434, when I tried to download phox now, no link was working...
*	Merge pull request #44 from EasyCrypt/master	hendriktews	2017-01-17
\|\ \| \| \| \|	EasyCrypt PG mode
* \|	Bump version number for next release cycle.	Erik Martin-Dorel	2016-09-19
\| \|
* \|	Update PG's logo	Clément Pit--Claudel	2016-05-24
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	The new art is a contribution of Yoshihiro Imai (http://proofcafe.org/~yoshihiro503/), first released at https://github.com/yoshihiro503/generaltan and kindly made available under the terms of the GPL. Many thanks!
* \|	More version number fixes	Clément Pit--Claudel	2016-02-13
\| \|
\| *	Import EasyCrypt PG mode	Pierre-Yves Strub	2016-01-29
\|/
*	Set version tag for new release.	David Aspinall	2015-03-13
\|
*	Summary: Update version year	David Aspinall	2015-03-11
\|
*	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
\|
*	Disable HOL Light support for release version	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
\|
*	* generic/pg-user.el (which-func-modes): Fix compiler declaration.	Stefan Monnier	2012-06-29
\| \| \| \|	* generic/proof-site.el (assistants): Fix regexp.
*	Set version tag for new release.	David Aspinall	2012-06-05
\|
*	Use proof-add-to-load-path to extend load-path. This way,	Hendrik Tews	2012-05-08
\| \| \| \| \|	distributions with specific requirements (such as Debian with debian-pkg-add-load-path-item) only need to patch one function.
*	Set version tag for new release.	David Aspinall	2012-04-30
\|
*	Set version tag for new release.	David Aspinall	2012-04-11
\|
*	Bump year	David Aspinall	2012-02-07
\|
*	New pseudo instances to help tool demonstrators in ocaml/ghci (in progress)	David Aspinall	2012-02-07
\|
*	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
\|
*	Temporarily enable HOL Light globally for testing	David Aspinall	2012-01-05
\|
*	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-19
\|