coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	labelizing arguments	Pierre Courtieu	2017-05-04
*	Adding an option "Printing Unfocused".	Pierre Courtieu	2017-05-04
*	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
*	[coqide] Protect against size_allocate race in proofview.	Emilio Jesus Gallego Arias	2017-03-28
*	[ide] Dynamic printing width.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
*	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Remove some unused functions.	Guillaume Melquiond	2016-01-02
* \|	Rich printing of goals.	Pierre-Marie Pédrot	2015-09-20
* \|	Switching to an event-based mechanism for CoqIDE preferences.	Pierre-Marie Pédrot	2015-08-31
* \|	Using the new preference mechanism for colors in CoqIDE.	Pierre-Marie Pédrot	2015-08-16
\|/
*	Make end-of-proof output consistent across toplevels.	Guillaume Melquiond	2015-06-19
*	Compatibility ocaml 3.12.	Hugo Herbelin	2015-05-05
*	Granting wish #4221.	Pierre-Marie Pédrot	2015-05-05
*	Selecting whole words on double-click in CoqIDE.	Pierre-Marie Pédrot	2015-02-15
*	Selection of the current word in CoqIDE looks at all buffers.	Pierre-Marie Pédrot	2015-02-13
*	Update headers.	Maxime Dénès	2015-01-12
*	ide/wg_ProofView: Do not refer to the {Proof} internal module, use {Interface...	Regis-Gianas	2014-11-04
*	Factored out IDE goal structure.	Carst Tankink	2014-10-01
*	Adds a tactic give_up.	aspiwack	2013-11-02
*	Adds a shelve tactic.	aspiwack	2013-11-02
*	Granting wish #1781:	ppedrot	2013-07-30
*	Moving Utils.list_* to a proper CList module, which includes stdlib	ppedrot	2012-09-14
*	Updating headers.	herbelin	2012-08-08
*	Added abstration layer to goal display in CoqIDE, and cleaned parts	ppedrot	2012-07-16