coq - The formal proof system

Age	Commit message (Expand)	Author
2005-02-22	Suppression des fichiers temporaires	herbelin
2004-12-09	Réactivation des tests output avec test aussi de la nouvelle syntaxe	herbelin
2004-11-28	Suppression bruit perl	herbelin
2004-03-24	bug de PP des fix (coqbugs #574)	barras
2004-03-06	changed the test for obj_magic.v to be less sensitive to changes	bertot
2004-01-01	[ -d ... ] au lieu de [ -f ... ] sur commit précédént	herbelin
2003-12-27	Protection contre l'echec des tests parser pour la distrib	herbelin
2003-10-13	Cleaning	herbelin
2003-10-10	changement nouvelle syntaxe (pt fixes)	barras
2003-10-02	Traduction des tests success et test en v8	herbelin
2003-04-15	Débranchement des tests output qui sont faussés par le traducteur	herbelin
2002-10-06	correcting the treatment of many tactics that use quant_hyp in file xlate.ml	bertot
2001-11-21	Possibilité d'appeler check avec l'option -byte	herbelin
2001-10-17	Mise en place d'un test de correction de la sortie de commandes Coq	herbelin
2000-12-09	tests automatiques	herbelin