coq - The formal proof system

Age	Commit message (Expand)	Author
2006-09-22	Protection List.fold_left2 (cf bug #1224)	herbelin
2006-09-22	Tout petit bug d'affichage dans constr_display (top_printers)	herbelin
2006-09-22	Test Tactic Notation	herbelin
2006-09-22	Ajout d'une valeur VList dans tacinterp pour permettre de cabler des	herbelin
2006-09-22	doc du nouveau ring	barras
2006-09-21	Visibilité des Rewrite Hint dès le chargement du module, sans nécessiter s...	herbelin
2006-09-21	incomplete and temporary fix for PR#1222: revert accepts up to 10 args	letouzey
2006-09-21	better scope/require managment (patch by Russel O'Connor)	letouzey
2006-09-20	Declarative Proof Language: main commit	corbinea
2006-09-20	congruence doc update	corbinea
2006-09-19	Gestion des arguments implicites dans les Functions bien fondees	jforest
2006-09-19	added congruence improvement	corbinea
2006-09-18	correction of bug #1220	jforest
2006-09-18	Correction du bug #1215	notin
2006-09-16	Message modification in Function	jforest
2006-09-15	CompatibilitÃ© hyp=var dans Tactic Notation + nettoyage	herbelin
2006-09-15	Minor bug correction in well-founded Function.	jforest
2006-09-15	MAJ	herbelin
2006-09-15	Report de l'heuristique d'unification premier ordre flexible/rigide	herbelin
2006-09-15	Débogage: ajout affichage contraintes d'unification	herbelin
2006-09-14	Bug dans configure (test best_compiler)	notin
2006-09-14	Correction du bug #1181	jforest
2006-09-14	Compilation de Coq sous Windows	notin
2006-09-14	mise en conformite des messages d'erreur de Function avec la doc.	jforest
2006-09-14	Modification de l'appel aux exécutables Caml	notin
2006-09-13	Abandon unification pattern des evars dans apply: combiné avec le	herbelin
2006-09-12	Indentation + svnprop	notin
2006-09-12	Correction conflit Meta/Evar dans commit précédent et extension au	herbelin
2006-09-12	Ajout unification pattern dans l'algorithme d'unification des	herbelin
2006-09-12	Ajout array_distinct	herbelin
2006-09-11	Ajout eassumption index	herbelin
2006-09-09	Retour à un warning en cas de (co-)fixpoint pas totalement mutuel	herbelin
2006-09-07	Updating the doc about Function and co	courtieu
2006-09-06	Finalement, interdiction des points fixes non totalement mutuellement	herbelin
2006-09-05	Code mort	herbelin
2006-09-05	Workaround Map.fold semantic change in ocaml-3.08.4 and higher.	msozeau
2006-09-04	Fix wrong order for building library, add informative messages.	msozeau
2006-09-01	New handling of obligations.	msozeau
2006-09-01	Correction bug d'ordonnancement des hyps d'induction dans induction/destruct	herbelin
2006-09-01	Forgot to add this one.	msozeau
2006-09-01	Subtac fixes, new way of handling obligations in progress.	msozeau
2006-09-01	Coq ne compile plus avec OCaml 3.06 (mais avec 3.07 c'est ok)	notin
2006-09-01	Suite ajout option -ocamlib à configure	notin
2006-09-01	Suite commit 9110 (uniformisation position notation dans les blocs inductifs)	herbelin
2006-09-01	Suite commit 9110 (uniformisation position notation dans les blocs inductifs)	herbelin
2006-09-01	Force évaluation 'naturelle' de list_map2_i et list_map3 de gauche à droite	herbelin
2006-09-01	MAJ	herbelin
2006-09-01	Ajout possibilité clause "where" dans co-points fixes	herbelin
2006-09-01	Affichage de l'aide dans configure	notin
2006-09-01	Extension et réorganisation de l'interprétation des (co-)points fixes	herbelin