proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Bump version from 4.4.1~pre to 4.5-git	Erik Martin-Dorel	2018-08-22
*	Merge pull request #200 from craff/master	Erik Martin-Dorel	2018-08-22
\|\
* \|	Add a missing parameter in advice on font-lock-fontify-keywords-region	Clément Pit--Claudel	2018-03-07
* \|	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel	2018-02-21
* \|	Bind C-c C-m (= C-c RET) to proof-goto-point [tty] (#228)	Erik Martin-Dorel	2018-02-20
\| *	phox is back	Christophe Raffalli	2017-09-22
\|/
*	Fix pg-{show,hide}-all-proofs and Move them into pg-user.el.	Erik Martin-Dorel	2017-08-15
*	Fix easycrypt automode regexp	Mario Rodas	2017-06-19
*	Fixing bug #187 by removing trailing spaces from prog name.	Pierre Courtieu	2017-06-06
*	Remove mmm and ML4PG contribs and remove references to them in code and docs	Paul Steckler	2017-05-24
*	Change (eval-when (compile) ...) to (eval-when-compile ...)	Clément Pit--Claudel	2017-05-05
*	Merge pull request #157 from ProofGeneral/elpa	Clément Pit-Claudel	2017-05-05
\|\
* \|	Fixing #167.	Pierre Courtieu	2017-03-13
\| *	Remove uses of defpgdefault in coq-abbrev	Clément Pit--Claudel	2017-03-08
\| *	Remove compile-time calls to proof-ready-for-assistant	Clément Pit--Claudel	2017-03-08
\| *	Remove unnecessary calls to 'eval-and-compile'	Clément Pit--Claudel	2017-03-08
\| *	Remove some Emacs <24.1 compatibility cruft	Clément Pit--Claudel	2017-03-08
\| *	Fix incorrect uses of defvar	Clément Pit--Claudel	2017-03-08
\| *	Fix incorrect assumption that noninteractive == byte-compiling	Clément Pit--Claudel	2017-03-08
\|/
*	Merge pull request #163 from ProofGeneral/fix_indentation	Pierre Courtieu	2017-03-03
\|\
* \|	Remove default key-binding for proof-electric-terminator-toggle.	Erik Martin-Dorel	2017-03-03
* \|	Removing spurious debug messages.	Pierre Courtieu	2017-02-24
* \|	Fixing #154.	Pierre Courtieu	2017-02-23
\| *	Merge branch 'master' of github.com:ProofGeneral/PG into master_origin	Pierre Courtieu	2017-01-26
\| \|\ \| \|/ \|/\|
\| *	annoying missing parentheisis in a comment.	Pierre Courtieu	2017-01-24
* \|	save settings not defined with defpacustom (fixes #142)	Hendrik Tews	2017-01-19
* \|	split emergency-cleanup to handle interrupts properly (fixes #143)	Hendrik Tews	2017-01-18
* \|	move phox from main to obscure instances	Hendrik Tews	2017-01-17
* \|	Merge pull request #44 from EasyCrypt/master	hendriktews	2017-01-17
\|\ \
* \| \|	Fix prooftree for Coq 8.6	Hendrik Tews	2017-01-14
\| \|/ \|/\|
* \|	Merge remote-tracking branch 'OFFICIAL/master'	Pierre Courtieu	2017-01-04
\|\ \
* \| \|	Fixing #121 + avoid hiding user windows too much.	Pierre Courtieu	2017-01-04
\| * \|	fix prooftree crash with long evar lines	Hendrik Tews	2016-12-28
\| * \|	fix generic interrupt procedure to interrupt parallel background compilation	Hendrik Tews	2016-12-14
\| * \|	Merge pull request #129 from hendriktews/keep-going	hendriktews	2016-12-14
\|/\| \|
* \| \|	Merge pull request #132 from Matafou/master	Pierre Courtieu	2016-12-14
\|\ \ \
\| * \| \|	remove default absolute name from coq-prog-name, but keep dipsplaying it when...	Pierre Courtieu	2016-12-12
\| \| * \|	option coq-compile-keep-going for parallel compilation	Hendrik Tews	2016-12-08
\| \|/ / \|/\| \|
* \| \|	fix 2 compilation warnings (fixes #33)	Hendrik Tews	2016-11-30
\|/ /
* \|	fix error in process filter: Cannot resize window	Hendrik Tews	2016-11-02
* \|	proof-retract-before-change: Fix #41 by saving/restoring the match data.	Erik Martin-Dorel	2016-09-25
* \|	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
* \|	Fix reference to log-warning-minimum-level	psteckler	2016-09-16
* \|	Ensure PG overlays have pg-span property (#98)	Tej Chajed	2016-08-25
* \|	Fix (next-undo-elt) to return a relevant undo element w.r.t (undo-delta).	Erik Martin-Dorel	2016-07-04
* \|	Reset proof-script-buffer to nil if -ready-prover fails	Clément Pit--Claudel	2016-06-10
* \|	Update PG's logo	Clément Pit--Claudel	2016-05-24
* \|	More version number fixes	Clément Pit--Claudel	2016-02-13
\| *	Import EasyCrypt PG mode	Pierre-Yves Strub	2016-01-29
\|/