coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	No more coqtop.opt, produce directly a coqtop binary	letouzey	2012-08-23
*	Use the Makefile in test-suite/check	glondu	2010-04-10
*	Fix typos in test-suite script	glondu	2010-04-10
*	Continuing r12485-12486 and r12549 (cleaning around name generation)	herbelin	2009-12-02
*	Remove interface plugin	glondu	2009-12-02
*	Fixing xml theory file export (was not consistent with coqdoc file	herbelin	2009-11-26
*	Improved the treatment of Local/Global options (noneffective Local on	herbelin	2009-10-25
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19
*	Add new directory for pre-compilation of files needed for further tests.	herbelin	2008-12-02
*	Skip complexity tests on demand	glondu	2008-09-07
*	Renaming parser -> coq-parser	glondu	2008-08-18
*	Fix bashism in test-suite/check	glondu	2008-07-28
*	Intégration de micromega ("omicron" pour fourier et sa variante sur Z,	herbelin	2008-05-19
*	MAJ et bricoles diverses	herbelin	2008-05-12
*	Mise en place d'un algorithme d'inversion des contraintes de type lors	herbelin	2008-05-05
*	Correction d'un bug dans check + ajout de tests	notin	2007-09-21
*	Typo	notin	2007-08-10
*	Modification de la test suite pour intégrer des tests spécifiques aux	notin	2007-08-10
*	Un chouia de portabilité en plus et pas de test si pas de bogomips	herbelin	2007-03-19
*	MAJ test complexité pour considérer le cas d'un temps avec un nombre	herbelin	2007-03-17
*	Correction petits bugs du check de la test-suite	herbelin	2006-12-28
*	Corrige un bug de calcul du temps effectif cquand la dernière décimale est 0	herbelin	2006-11-13
*	bug test complexité	herbelin	2006-11-03
*	suite commit 9222 : rétablissement des tests autre que complexité	herbelin	2006-10-06
*	Ajout d'un répertoire de test de la complexité	herbelin	2006-10-06
*	option '-top dir' now works also in batch mode; it is even necessary to ensur...	herbelin	2005-12-22
*	Abandon tests syntaxe v7; ajouts tests modules	herbelin	2005-12-21
*	L'option -no-vm laisse la place à une option -vm	herbelin	2005-12-18
*	Ajout tests interactifs	herbelin	2005-11-02
*	Suppression des fichiers temporaires	herbelin	2005-02-22
*	Réactivation des tests output avec test aussi de la nouvelle syntaxe	herbelin	2004-12-09
*	Suppression bruit perl	herbelin	2004-11-28
*	bug de PP des fix (coqbugs #574)	barras	2004-03-24
*	changed the test for obj_magic.v to be less sensitive to changes	bertot	2004-03-06
*	[ -d ... ] au lieu de [ -f ... ] sur commit précédént	herbelin	2004-01-01
*	Protection contre l'echec des tests parser pour la distrib	herbelin	2003-12-27
*	Cleaning	herbelin	2003-10-13
*	changement nouvelle syntaxe (pt fixes)	barras	2003-10-10
*	Traduction des tests success et test en v8	herbelin	2003-10-02
*	Débranchement des tests output qui sont faussés par le traducteur	herbelin	2003-04-15
*	correcting the treatment of many tactics that use quant_hyp in file xlate.ml	bertot	2002-10-06
*	Possibilité d'appeler check avec l'option -byte	herbelin	2001-11-21
*	Mise en place d'un test de correction de la sortie de commandes Coq	herbelin	2001-10-17
*	tests automatiques	herbelin	2000-12-09