coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Declaration of multiple hypotheses or parameters now share typing	herbelin	2013-05-08
\| \| \| \| \| \|	information for inference of implicit arguments. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16487 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Unset Asymmetric Patterns	pboutill	2013-01-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16129 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Correct implementation of discharging of implicit arguments and add new	msozeau	2008-07-22
\| \| \| \| \| \| \| \| \|	setting "Set Manual Implicit Arguments" for manual-only implicits. Fix test-suite script. This removes the discharge_info argument of "dynamic" object's rebuild function. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11242 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Forgot the test file.	msozeau	2008-03-15
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10678 85f007b7-540e-0410-9357-904b9bb8a0f7