coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Changement dans le kernel :	bgregoir	2006-12-11
*	contrib/dp	filliatr	2006-12-08
*	Subtac bug fix, add list take example.	msozeau	2006-12-08
*	Fork of cases impl for subtac.	msozeau	2006-11-29
*	Functional graph merging deals with letins.	courtieu	2006-11-24
*	Fixed the graph merging parameter order.	courtieu	2006-11-24
*	Fixing syntax and parameter order in functional graph merging.	courtieu	2006-11-23
*	Nettoyage de l'utilisation de l'expansion des macros ~ et $ dans les noms de	herbelin	2006-11-21
*	Changing merging functional scheme syntax.	courtieu	2006-11-20
*	Suppression du type 'tac dans les abstract_argument_type: devenu inutile	herbelin	2006-11-20
*	mult_sym, plus_sym -> mult_comm, plus_comm	herbelin	2006-11-19
*	Small fix in functional graph merging.	courtieu	2006-11-16
*	suppression de code mort (avec bug de nom)	letouzey	2006-11-16
*	pb avec r9379 + modifs dans ring	barras	2006-11-16
*	Work on dep types pattern matching	msozeau	2006-11-16
*	suite de r9362: reconnaissance de qqs injections entre nat, N et Z	barras	2006-11-16
*	Some usability enhancements.	msozeau	2006-11-15
*	Better solve using tactics impl.	msozeau	2006-11-13
*	Correction de la seconde partie du bug #1278	jforest	2006-11-13
*	Correction de la premiere partie du #1278 (but non referme en cas d'echec)	jforest	2006-11-13
*	Encore des _sym au lieu de _comm	herbelin	2006-11-13
*	generalisation de ring pour faire Ring_nf	barras	2006-11-10
*	Work on mutual defs, various bug fixes.	msozeau	2006-11-10
*	Work on pattern inequalities for pattern matching branches.	msozeau	2006-11-10
*	Support for mutual defs in obligation handling.	msozeau	2006-11-09
*	Debug obligation handling code	msozeau	2006-10-31
*	Fix compile error	msozeau	2006-10-31
*	Work on obligation separation.	msozeau	2006-10-31
*	fixed field_simplify + changed precedence of let and fun in ltac	barras	2006-10-30
*	Suite commit polymorphisme	herbelin	2006-10-29
*	Exports manquants dans ring	barras	2006-10-29
*	Extension du polymorphisme de sorte au cas des définitions dans Type.	herbelin	2006-10-28
*	Fixes in experimental merging of functional graphs.	courtieu	2006-10-28
*	simplif de la partie ML de ring/field	barras	2006-10-27
*	Fixes on functional graphs merging: put functional results at the end	courtieu	2006-10-27
*	changement des _sym par _comm dans setoid_ring	bgregoir	2006-10-27
*	Fixes on functional graphs merging: removed debug printing.	courtieu	2006-10-27
*	Fixes on functional graphs merging: names of constructors.	courtieu	2006-10-27
*	Déplacement des propriétés générales de BinList dans List et des tactiqu...	herbelin	2006-10-26
*	Noms de compatibilité déplacés en bloc à la fin du fichier	herbelin	2006-10-26
*	Some fixes in experimental merging of two functional graphs.	courtieu	2006-10-26
*	Experimental merging of two functional graphs.	courtieu	2006-10-26
*	Facilities to automatically solve obligations	msozeau	2006-10-26
*	Ménage	notin	2006-10-25
*	oops	barras	2006-10-25
*	conflit de nom (Field_theory) modulo la casse	barras	2006-10-25
*	Extension de fresh (suite)	herbelin	2006-10-24
*	Starting to add a function schemes merging command (not finished, not	courtieu	2006-10-20
*	Correction sym -> comm	herbelin	2006-10-19
*	field_simplify_eq profite de la factorisation de Laurent	barras	2006-10-17