proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Reloading proof-autoloads is safe; don't forbid it	Clément Pit-Claudel	2018-09-01
*	Merge pull request #169 from ProofGeneral/help-span-extended	Erik Martin-Dorel	2018-08-25
\|\
* \|	Run make autoloads	Erik Martin-Dorel	2018-08-23
* \|	Fix most doc issues raised by (checkdoc)	Erik Martin-Dorel	2018-08-23
* \|	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
\| \| *	extend helpspan, issue #158	Paul Steckler	2017-03-09
\| \|/ \|/\|
\| *	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