coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \|	Merge remote-tracking branch 'origin/v8.5' into trunk	Hugo Herbelin	2015-09-09
\|\\|
\| *	Fixing incomplete bugfix in 76f27140e6e34 (unfortunately 5 commits	Hugo Herbelin	2015-09-08
\| *	Ensuring that patterns of the form pat/constr move the hypotheses replacing	Hugo Herbelin	2015-09-08
* \|	Documenting the new behaviour of the Shrink Obligations flag.	Pierre-Marie Pédrot	2015-09-08
* \|	Documenting the Shrink Abstract option.	Pierre-Marie Pédrot	2015-08-22
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-05
\|\\|
\| *	Continuing 817308ab (use ltac env for terms in ltac context) + fix	Hugo Herbelin	2015-08-02
\| *	Fixing test apply.v (had wrong option name).	Hugo Herbelin	2015-08-02
\| *	Reverting 16 last commits, committed mistakenly using the wrong push command.	Hugo Herbelin	2015-08-02
\| *	Fixing test apply.v (had wrong option name).	Hugo Herbelin	2015-08-02
\| *	Fixing #4221 (interpreting bound variables using ltac env was possibly	Hugo Herbelin	2015-08-02
\| *	Granting Jason's request for an ad hoc compatibility option on	Hugo Herbelin	2015-08-02
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-27
\|\\|
* \|	Add an Iterative Deepening search strategy to typeclass resolution.	Matthieu Sozeau	2015-07-27
\| *	Extraction: fix primitive projection extraction.	Matthieu Sozeau	2015-07-22
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-18
\|\\|
\| *	Univs: bug fix.	Matthieu Sozeau	2015-07-07
* \|	Remove a line from test-suite.	Maxime Dénès	2015-07-02
* \|	Another missing Fail and comment in test-suite.	Maxime Dénès	2015-06-30
* \|	Missing "Fail" in test-suite.	Maxime Dénès	2015-06-30
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-06-28
\|\\|
\| *	Fix incompleteness of conversion used by evarconv	Matthieu Sozeau	2015-06-28
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-06-24
\|\\|
\| *	Fixing incompatibility introduced with simpl in commit 364decf59c1 (or	Hugo Herbelin	2015-06-23
* \|	Turning "Set Regular Subst Tactic" on by default (for 8.6).	Hugo Herbelin	2015-05-15
* \|	Merge v8.5 into trunk	Hugo Herbelin	2015-05-15
\|\\|
\| *	Extraction: fix the detection of the "polyprop" situation	Pierre Letouzey	2015-05-12
\| *	Adjusting test-suite after 5cbc018fe9347 (subst as in 8.4 by default).	Hugo Herbelin	2015-05-09
\| *	Fixing treatment of recursive equations damaged by 857e82b2ca0d1.	Hugo Herbelin	2015-05-06
* \|	Merge branch 'v8.5' into trunk	Pierre Letouzey	2015-04-09
\|\\|
\| *	Fixing test-suite.	Pierre-Marie Pédrot	2015-04-01
* \|	Merge branch 'v8.5' into trunk	Enrico Tassi	2015-03-30
\|\\|
\| *	Fully fixing bug #3491 (anomaly when building _rect scheme in the	Hugo Herbelin	2015-03-25
\| *	Another example about the consequence of a wrong computation of the	Hugo Herbelin	2015-03-25
\| *	Fixing computation of non-recursively uniform arguments in the	Hugo Herbelin	2015-03-24
\| *	Fixing wrong rel_context in checking positivity condition.	Hugo Herbelin	2015-03-24
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-03-23
\|\\|
\| *	Qed export -> Qed exporting	Enrico Tassi	2015-03-22
* \|	Merge branch 'v8.5' into trunk	Arnaud Spiwack	2015-03-13
\|\\|
\| *	Add some tests for tryif	Jason Gross	2015-03-13
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-03-11
\|\\|
\| *	admit: replaced by give_up + Admitted (no proof_admitted : False, close #4032)	Enrico Tassi	2015-03-11
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-03-04
\|\\|
\| *	Add a test-suite file ensuring coinductives with primitive projections	Matthieu Sozeau	2015-03-03
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-02-28
\|\\|
\| *	Fixing first part of bug #3210 (inference of pattern-matching return	Hugo Herbelin	2015-02-27
* \|	Other tests for decl mode, coming from reference manual.	Hugo Herbelin	2015-02-24
\|/
*	Fixing rewrite/subst when the subterm to rewrite is argument of an Evar.	Hugo Herbelin	2015-02-23
*	Fixing occur-check which was too strong in unification.ml.	Hugo Herbelin	2015-02-23
*	Abstract: "Qed export ident, .., ident" to preserve v8.4 behavior	Enrico Tassi	2015-02-14