coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \|	Merge origin/v8.5 into trunk	Hugo Herbelin	2015-11-10
\|\\|
\| *	Tests for syntax "Show id" and [id]:tac (shelved or not).	Hugo Herbelin	2015-11-07
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-11-05
\|\\|
\| *	Hint Cut documentation and cleanup of printing (was duplicated and	Matthieu Sozeau	2015-11-04
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-30
\|\\|
\| *	Handle side-effects of Vernacular commands inside proofs better, so that	Matthieu Sozeau	2015-10-29
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-29
\|\\|
\| *	Fix test suite after Matthieu's ed7af646f2e486b.	Maxime Dénès	2015-10-28
\| *	Revert "Fixing #4198 (continued): not matching within the inner lambdas/let-ins"	Hugo Herbelin	2015-10-28
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-19
\|\\|
\| *	Fixing #4198 (continued): not matching within the inner lambdas/let-ins	Hugo Herbelin	2015-10-18
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-15
\|\\|
\| *	Fix some typos.	Guillaume Melquiond	2015-10-13
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-12
\|\\|
\| *	Refining 0c320e79ba30 in fixing interpretation of constr under binders	Hugo Herbelin	2015-10-11
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-09
\|\\|
\| *	Proof using: let-in policy, optional auto-clear, forward closure*	Enrico Tassi	2015-10-08
\| *	Test for record syntax parsing.	Pierre-Marie Pédrot	2015-10-07
\| *	Univs: add Strict Universe Declaration option (on by default)	Matthieu Sozeau	2015-10-07
* \|	Merge branch 'v8.5' into trunk	Maxime Dénès	2015-09-17
\|\\|
\| *	In pat/constr introduction patterns, fixing in a better way clearing problems	Hugo Herbelin	2015-09-16
* \|	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