coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Add the ability to give a specific tactic to solve each obligation in	msozeau	2008-11-07
*	Partial fix for bug #1948: recompute order of dependencies between	msozeau	2008-09-25
*	Better handling of the opacity of proof obligations, add the possibility of	msozeau	2008-09-07
*	Various fixes w.r.t typeclasses and subtac: resolve tcs properly inside	msozeau	2008-08-21
*	Postpone the search for the recursive argument index from the user given	msozeau	2008-05-06
*	Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...	msozeau	2007-12-31
*	Fix some bugs, add possibility of automatically solving a proof statement's o...	msozeau	2007-10-24
*	Add a parameter to QuestionMark evar kind to say it can be turned into an obl...	msozeau	2007-03-19
*	Opacity parameterization for obligations working.	msozeau	2007-02-24
*	Debug wellfounded defs, work on cleaning obls envs	msozeau	2007-02-23
*	Work on obligation separation.	msozeau	2006-10-31
*	New handling of obligations.	msozeau	2006-09-01
*	- Documentation of the Program tactics.	msozeau	2006-04-07
*	Subtac: traitement correct des existentielles et de la rÃ©cursion.	coq	2005-07-15