coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-12
\|\
\| *	Fix bug #5116: [Print Ltac] should be able to print strategies.	Pierre-Marie Pédrot	2016-10-12
* \|	Revert "Merge remote-tracking branch 'github/pr/283' into trunk"	Maxime Dénès	2016-09-22
* \|	Stylistic improvements in intf/decl_kinds.mli.	Maxime Dénès	2016-09-20
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-14
\|\\|
\| *	Fix bug #3920 for good after 44ada64.	Pierre-Marie Pédrot	2016-09-09
* \|	Merge PR #244.	Pierre-Marie Pédrot	2016-09-08
\|\ \
* \ \	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-07
\|\ \ \ \| \| \|/ \| \|/\|
\| * \|	Removing useless tactic compatibility layer in Rewrite.	Pierre-Marie Pédrot	2016-09-07
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-02
\|\\| \|
\| * \|	Fix bug #3920: eapply masks an hypothesis name.	Pierre-Marie Pédrot	2016-08-30
* \| \|	CLEANUP: switching from "right-to-left" to "left-to-right" function compositi...	Matej Kosik	2016-08-30
* \| \|	CLEANUP: minor readability improvements	Matej Kosik	2016-08-24
\|/ /
\| *	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
* \|	Fix setoid_rewrite to raise proper errors	Matthieu Sozeau	2016-08-17
\|/
*	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-08-16
*	Merge remote-tracking branch 'gforge/v8.5' into v8.6	Matthieu Sozeau	2016-07-29
*	Fix bug #4679, weakened setoid_rewrite unification	Matthieu Sozeau	2016-07-21
*	closure.ml renamed into cClosure.ml (avoid clash with a compiler-libs module)	Pierre Letouzey	2016-07-03
*	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
*	Separate flags for fix/cofix/match reduction and clean reduction function names.	Maxime Dénès	2016-07-01
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-06-01
*	Getting rid of the Geninterp.generic_interp function.	Pierre-Marie Pédrot	2016-05-04
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-04-09
*	Fixing an incorrect use of prod_appvect on a term which was not a	Hugo Herbelin	2016-03-28
*	Fixing an evar leak in Rewrite introduced by 968dfdb15.	Pierre-Marie Pédrot	2016-03-28
*	Making Autorewrite independent from Ltac.	Pierre-Marie Pédrot	2016-03-25
*	Creating a dedicated ltac/ folder for Hightactics.	Pierre-Marie Pédrot	2016-03-21