coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Arguments supports extra notation scopes	gareuselesinge	2012-02-14
*	Fix consequence of pp bugfix in testsuite	pboutill	2012-01-31
*	Fix simplification of ind. hyps., recognized by a [block] in their type (bug ...	msozeau	2012-01-28
*	Notations with binders: Accepting using notations for functional terms	herbelin	2012-01-20
*	Parameters in pattern first step.	pboutill	2012-01-16
*	Add distclean back to test-suite/Makefile	glondu	2012-01-14
*	Backtracking on r14876 (fix for bug #2267): extra scopes might be	herbelin	2012-01-05
*	Fixing Arguments Scope bug when too many scopes are given (bug #2667).	herbelin	2012-01-04
*	Type inference unification: fixed a 8.4 bug in the presence of unification	herbelin	2012-01-04
*	Arguments: check rename even if no implicit is specified	gareuselesinge	2011-12-19
*	test suite update after r14808	pboutill	2011-12-19
*	Fixing bug #2634 (unscoped notations were disturbing the	herbelin	2011-12-18
*	Fixed a Not_found bug when declaring in a section some implicit	herbelin	2011-12-18
*	Added ability to take the type of applied metas into account when	herbelin	2011-12-17
*	Command Arguments: standardizing format of error messages and American spelling.	herbelin	2011-12-17
*	Bypassing the use of (currently unimplemented) "Show Script" in tests	herbelin	2011-12-17
*	Fixing format of complexity bug Notations.v.	herbelin	2011-12-17
*	Fixing amazing loop when using eta-expansion in pattern-matching for	herbelin	2011-12-16
*	Proof using ...	gareuselesinge	2011-12-12
*	Fixing grammar resetting bug in the presence of levels initially empty	herbelin	2011-12-07
*	Adapting test Existentials to new numbering strategy of evars (r14764).	herbelin	2011-12-07
*	Fixing a bug of commit r13310 (activating coercions only when module	herbelin	2011-12-07
*	Minor fixes to Arguments	gareuselesinge	2011-12-06
*	A small test for type inference (used to be a regression at some time).	herbelin	2011-12-04
*	Fixing superflous newline in output of About when no parameter is renamed.	herbelin	2011-12-04
*	Discarding let-ins from the instances of the evars in the	herbelin	2011-12-04
*	Quick hack to avoid anomaly on using Program w/o having required JMeq.	herbelin	2011-11-30
*	Extraction: Richer patterns in matchs as proposed by P.N. Tollitte	letouzey	2011-11-28
*	Fixed a bug in postprocessing dependencies in pattern-matching compilation	herbelin	2011-11-26
*	Renamig support added to "Arguments"	gareuselesinge	2011-11-21
*	theories/, plugins/ and test-suite/ ported to the Arguments vernacular	gareuselesinge	2011-11-21
*	New Arguments vernacular	gareuselesinge	2011-11-21
*	Configurable simpl tactic	gareuselesinge	2011-11-21
*	Extend the computation of dependencies in pattern-matching compilation	herbelin	2011-11-21
*	Optimizing the compilation of unused aliases in pattern-matching.	herbelin	2011-11-21
*	Fixing postprocessing bugs in pattern-matching compilation.	herbelin	2011-11-21
*	Changed the way to detect if an "as" patterns is expanded or not. The	herbelin	2011-11-21
*	Updating Cases.v test.	herbelin	2011-11-21
*	Fixing bug #2640 and variants of it (inconsistency between when and	herbelin	2011-11-17
*	Fixing new bug introduced in r14665 when fixing bug #1834.	herbelin	2011-11-17
*	Fixing bug #1834 (de Bruijn indices bug in pattern-matching compilation).	herbelin	2011-11-16
*	Suppression fichier Case8.v redondant	herbelin	2011-11-16
*	Improved check is_open_canonical_projection	gareuselesinge	2011-11-08
*	Allow "\|_=>_" in "match" in patterns, no more forced enumeration of constructors	letouzey	2011-11-07
*	Fixing incorrect change to pattern-unification over Meta's introduced	herbelin	2011-11-06
*	Fixing tactic remember not correctly checking preservation of typing	herbelin	2011-11-06
*	Regression tests for bugs #2613 and #2616.	herbelin	2011-10-25
*	First attempt at making Print Assumption compatible with opaque modules (fix ...	letouzey	2011-10-25
*	Fixing "destruct" test.	herbelin	2011-10-25
*	New strategy to infer return predicate of match construct when	herbelin	2011-10-25