coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.	Maxime Dénès	2017-12-14
\|\
* \|	[proof] Embed evar_map in RefinerError exception.	Emilio Jesus Gallego Arias	2017-12-11
\| *	[lib] Rename Profile to CProfile	Emilio Jesus Gallego Arias	2017-12-09
\|/
*	[printing] Deprecate all printing functions accessing the global proof.	Emilio Jesus Gallego Arias	2017-11-21
*	[api] Insert miscellaneous API deprecation back to core.	Emilio Jesus Gallego Arias	2017-11-13
*	[api] Another large deprecation, `Nameops`	Emilio Jesus Gallego Arias	2017-11-13
*	[api] Deprecate all legacy uses of Name.Id in core.	Emilio Jesus Gallego Arias	2017-11-04
*	Merge PR #805: Functional tactics	Maxime Dénès	2017-08-29
\|\
\| *	Remove references to Global.env in tactics/*.ml	amblaf	2017-07-31
* \|	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
\|/
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Remove the Sigma (monotonous state) API.	Maxime Dénès	2017-06-06
*	[cleanup] Unify all calls to the error function.	Emilio Jesus Gallego Arias	2017-05-27
*	[option] Remove support for non-synchronous options.	Emilio Jesus Gallego Arias	2017-05-24
*	Using delayed universe instances in EConstr.	Pierre-Marie Pédrot	2017-04-01
*	Merge branch 'master'.	Pierre-Marie Pédrot	2017-02-14
\|\
* \|	Removing most nf_enter in tactics.	Pierre-Marie Pédrot	2017-02-14
* \|	Evar-normalizing functions now act on EConstrs.	Pierre-Marie Pédrot	2017-02-14
* \|	Removing various compatibility layers of tactics.	Pierre-Marie Pédrot	2017-02-14
* \|	Reductionops now return EConstrs.	Pierre-Marie Pédrot	2017-02-14
* \|	Proofview.Goal primitive now return EConstrs.	Pierre-Marie Pédrot	2017-02-14
* \|	Eauto API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Hints API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Tactics API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Clenv API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Tacmach API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Reductionops API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \|	Termops API using EConstr.	Pierre-Marie Pédrot	2017-02-14
\| *	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-18
\|/\|
\| *	Merge remote-tracking branch 'github/pr/336' into v8.6	Maxime Dénès	2016-11-04
\| \|\
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-29
\|\\| \|
\| * \|	Merge remote-tracking branch 'github/pr/321' into v8.6	Maxime Dénès	2016-10-28
\| \|\ \
\| * \| \|	Using msg_info for info_auto and info_eauto (PR #324).	Hugo Herbelin	2016-10-26
\| \| \| *	Remove v62 from the codebase.	Théo Zimmermann	2016-10-25
\| \| \|/ \| \|/\|
\| \| *	sections/hints: prevent Not_found in get_type_of	Matthieu Sozeau	2016-10-21
\| \|/
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-17
\|\\|
\| *	Fixing English typography for colon.	Hugo Herbelin	2016-10-14
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-02
\|\\|
\| *	Merge branch 'v8.5' into v8.6	Maxime Dénès	2016-09-30
\| \|\
* \| \|	Untangling Tacexpr from lower strata.	Pierre-Marie Pédrot	2016-09-15
* \| \|	Unplugging Tacexpr in several interface files.	Pierre-Marie Pédrot	2016-09-08
* \| \|	Merge PR #244.	Pierre-Marie Pédrot	2016-09-08
\|\ \ \ \| \|/ / \|/\| \|
* \| \|	Do not normalize evars in Eauto.e_give_exact.	Pierre-Marie Pédrot	2016-09-04
\| * \|	Make the user_err header an optional parameter.	Emilio Jesus Gallego Arias	2016-08-19
\| * \|	Remove errorlabstrm in favor of user_err	Emilio Jesus Gallego Arias	2016-08-19
\|/ /
* \|	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-06-27
\|\\|
* \|	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
* \|	Put the "exact" family of tactic in the monad.	Pierre-Marie Pédrot	2016-05-16
* \|	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08