proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
* \| \|	Refreshing goal when Set Printing xxx. (#162)	Pierre Courtieu	2017-03-03
* \| \|	Remove default key-binding for proof-electric-terminator-toggle.	Erik Martin-Dorel	2017-03-03
* \| \|	use Utf8 from Coq library	Paul Steckler	2017-03-02
* \| \|	serveral coqtags fixes and improvements	Hendrik Tews	2017-02-27
* \| \|	Merge pull request #156 from Matafou/fix-154	Pierre Courtieu	2017-02-27
\|\ \ \
* \| \| \|	Add easycrypt and twelf to Makefile	Clément Pit--Claudel	2017-02-25
\| * \| \|	Removing spurious debug messages.	Pierre Courtieu	2017-02-24
\| * \| \|	Fixing #154.	Pierre Courtieu	2017-02-23
\|/ / /
* \| /	[ec mode]: update keywords	Pierre-Yves Strub	2017-02-21
\| \|/ \|/\|
\| *	Fixing #147 and #91 + others indentation bugs.	Pierre Courtieu	2017-01-26
\| *	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
* \|	use makeinfo instead of texi2html	Hendrik Tews	2017-01-17
* \|	fix coqtags	Hendrik Tews	2017-01-17
* \|	Add {Local ,}Axioms like {Local ,}Axiom, fix Parameters (#106)	Jason Gross	2017-01-17
* \|	Merge pull request #44 from EasyCrypt/master	hendriktews	2017-01-17
\|\ \
* \ \	Merge pull request #107 from JasonGross/patch-3	hendriktews	2017-01-17
\|\ \ \
* \| \| \|	fix icon installation and add 64 and 128 square icons (fixes #141)	Hendrik Tews	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
\| * \| \|	A first pass at converting from CVS to git. (#127)	zhenya1007	2016-12-31
\| * \| \|	add second argument to looking-back, required in emacs25	Hendrik Tews	2016-12-31
\| * \| \|	fix prooftree crash with long evar lines	Hendrik Tews	2016-12-28
\| * \| \|	properly reset the vio2vo delay timer	Hendrik Tews	2016-12-28
\| * \| \|	Fix doc for Coq electric terminator.	Erik Martin-Dorel	2016-12-26
\| * \| \|	Merge pull request #133 from hendriktews/file-error	hendriktews	2016-12-16
\| \|\ \ \
\| * \| \| \|	add quote to fix commit e3cc66dc2e60683531d75c12256d059ccbc64576	Hendrik Tews	2016-12-15
\| * \| \| \|	Improve doc on coq project file	Hendrik Tews	2016-12-15
\| * \| \| \|	fix :get for coq-search-blacklist	Hendrik Tews	2016-12-15
\| * \| \| \|	Merge pull request #101 from tchajed/print-universes-option	hendriktews	2016-12-15
\| \|\ \ \ \
\| \| \| * \| \|	die gracefully when visiting files in nonexisting directories	Hendrik Tews	2016-12-15
\| \| \|/ / / \| \|/\| \| \|
\| * \| \| \|	fix generic interrupt procedure to interrupt parallel background compilation	Hendrik Tews	2016-12-14
\| * \| \| \|	fix race in vio2vo compilation start	Hendrik Tews	2016-12-14
\| * \| \| \|	fix parallel build and other issues in Makefile (fixes #130)	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
\|\ \ \ \ \
\| * \| \| \| \|	Same name guessing for coqc/coqdep then for coqtop.	Pierre Courtieu	2016-12-13
\| * \| \| \| \|	remove default absolute name from coq-prog-name, but keep dipsplaying it when...	Pierre Courtieu	2016-12-12
\| \| * \| \| \|	documentation and CHANGES for coq-compile-keep-going	Hendrik Tews	2016-12-08
\| \| * \| \| \|	option coq-compile-keep-going for parallel compilation	Hendrik Tews	2016-12-08
\| \| * \| \| \|	remove ancestor hash in Coq parallel background compilation	Hendrik Tews	2016-12-02
\| \|/ / / / \|/\| \| \| \|
* \| \| \| \|	fix customize-group coq	Hendrik Tews	2016-11-30
* \| \| \| \|	fix 2 compilation warnings (fixes #33)	Hendrik Tews	2016-11-30
* \| \| \| \|	style change: use when for if coq-debug-auto-compilation	Hendrik Tews	2016-11-30
* \| \| \| \|	Merge pull request #125 from hendriktews/quick	hendriktews	2016-11-30
\|\ \ \ \ \ \| \|/ / / / \|/\| \| \| \|
\| * \| \| \|	use coq-- for internal compilation variables	Hendrik Tews	2016-11-30