proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
* \|	Fix #135.	Pierre Courtieu	2017-11-06
* \|	Limited extensibility of smie token detection.	Pierre Courtieu	2017-10-26
\|/
*	changed -emacs-U flag to -emacs	Paul Steckler	2017-07-19
*	Fixing a bug with Set/Unset commands due to recent commits.	Pierre Courtieu	2017-06-08
*	Adding a Set Silent + Show when backtracking into a proof.	Pierre Courtieu	2017-06-06
*	Merge pull request #185 from psteckler/remove-contribs	psteckler	2017-05-25
\|\
\| *	Remove mmm and ML4PG contribs and remove references to them in code and docs	Paul Steckler	2017-05-24
* \|	Fixing #183.	Pierre Courtieu	2017-05-23
\|/
*	Fixing Set/Unset Printing broken by auto "Show".	Pierre Courtieu	2017-05-16
*	temporary fix of automatic intros.	Pierre Courtieu	2017-05-12
*	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
\|\
* \|	Typo from commit 758e679e.	Pierre Courtieu	2017-04-25
* \|	Preparing new warning tags (no more special chars).	Pierre Courtieu	2017-04-24
* \|	Fix #176.	Pierre Courtieu	2017-04-19
* \|	Fixing #173.	Pierre Courtieu	2017-03-31
* \|	Added support for future new options (trunk).	Pierre Courtieu	2017-03-22
\| *	Add a FIXME in coq.el	Clément Pit--Claudel	2017-03-08
\| *	Remove uses of defpgdefault in coq-abbrev	Clément Pit--Claudel	2017-03-08
\| *	Remove uses of defpacustom in coq-compile-common	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
\| *	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 commit '06fd76163b857a056ac44e7437efa17656f06e5b'	Paul Steckler	2017-03-08
\|\
\| *	Fixing unicode tokens in generic code and in coq.	Pierre Courtieu	2017-03-08
* \|	get threeb frames only when needed	Paul Steckler	2017-03-06
* \|	one more redundant call removed	Paul Steckler	2017-03-06
* \|	remove redundant calls, simplify code	Paul Steckler	2017-03-06
* \|	Merge pull request #163 from ProofGeneral/fix_indentation	Pierre Courtieu	2017-03-03
\|\ \
* \| \|	Refreshing goal when Set Printing xxx. (#162)	Pierre Courtieu	2017-03-03
* \| \|	use Utf8 from Coq library	Paul Steckler	2017-03-02
* \| \|	serveral coqtags fixes and improvements	Hendrik Tews	2017-02-27
* \| \|	Fixing #154.	Pierre Courtieu	2017-02-23
\| \|/ \|/\|
\| *	Fixing #147 and #91 + others indentation bugs.	Pierre Courtieu	2017-01-26
\|/
*	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
*	fix coqtags	Hendrik Tews	2017-01-17
*	Add {Local ,}Axioms like {Local ,}Axiom, fix Parameters (#106)	Jason Gross	2017-01-17
*	Merge pull request #107 from JasonGross/patch-3	hendriktews	2017-01-17
\|\
* \|	Fix prooftree for Coq 8.6	Hendrik Tews	2017-01-14
* \|	add second argument to looking-back, required in emacs25	Hendrik Tews	2016-12-31
* \|	properly reset the vio2vo delay timer	Hendrik Tews	2016-12-28
* \|	Merge pull request #133 from hendriktews/file-error	hendriktews	2016-12-16
\|\ \
* \| \|	add quote to fix commit e3cc66dc2e60683531d75c12256d059ccbc64576	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