coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	ROmega	mohring	2004-03-04
*	coqdoc	filliatr	2004-02-24
*	files from contrib/interface need files from contrib/field, the variable	bertot	2004-02-19
*	- fixed the Assert_failure error in kernel/modops	barras	2004-02-18
*	Mauvaise dependance en states7/initial.coq	herbelin	2004-02-12
*	clean-ide plus precis	herbelin	2004-02-04
*	reorganize the order of librairies in the entry CMO to make sure this can	bertot	2004-02-02
*	meilleure separation de compil et install de coq, coqide et coq-interface	barras	2004-01-27
*	Correction des cibles des theories indviduelles	herbelin	2004-01-27
*	deplacement des cma et cmxa dans les sous-repertoires	barras	2004-01-26
*	Deplacement lexer pour dependance dans constrintern	herbelin	2004-01-21
*	coqide utf8	marche	2004-01-20
*	ajoute une option -linkall dans compilation de bin/parser pour assurer que	bertot	2004-01-16
*	make libraries, lexing of more utf8 symbols	marche	2004-01-14
*	Suppression de Rsyntax en v8	herbelin	2004-01-13
*	Ajout cible install-ide	herbelin	2004-01-08
*	Cible redondante qui trouble les make non linux	herbelin	2004-01-07
*	L'installation ne copiait pas les .vo du traducteur	herbelin	2003-12-03
*	installation	herbelin	2003-11-29
*	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7...	herbelin	2003-11-29
*	ground->firstorder, cc-> congruence, CC final commit	corbinea	2003-11-29
*	Extraction des lemmes sur convert/nat_of_P de BinPos vers Pnat; ajout Pcase e...	herbelin	2003-11-21
*	ajout de Znumtheory.v dans ZArith	letouzey	2003-11-19
*	tout clean-ide dans clean	herbelin	2003-11-18
*	Restructuration ZArith	herbelin	2003-11-12
*	petits changements de syntaxe	barras	2003-11-12
*	make moins verbeux, suite (et fin?)	letouzey	2003-11-09
*	Biblio standard sans mention de la possibilite d'etre impredicatif; Hurkens_s...	herbelin	2003-11-07
*	Ajout NArith et restructuration ZArith	herbelin	2003-11-05
*	pour que make clean efface ide/utf8_convert.ml venant d'un .mll	letouzey	2003-11-04
*	Ajout Diaconescu.v	herbelin	2003-11-02
*	Nouveaux fichiers dans Logic; prise en compte de l'option -strongly-classical...	herbelin	2003-10-28
*	Ajout NArithRing	herbelin	2003-10-22
*	Ground update + Linear removal	corbinea	2003-10-16
*	Pour eviter que newtheories/Lists/List.v soit refait quand PolyList.v est ref...	herbelin	2003-10-15
*	Death of 'a somewhat cryptic module'	herbelin	2003-10-11
*	Intégration de la premiere partie de 'hightactics' dans 'tactics' suite à c...	herbelin	2003-10-10
*	Renommage en v8 de PolyList en List et List en MonoList	herbelin	2003-10-10
*	Renommage no-strict en -strict-implicit	herbelin	2003-10-08
*	Renommage no-strict en -strict-implicit	herbelin	2003-10-08
*	Pour rendre make un peu moins verbeux	letouzey	2003-10-06
*	NEWCONTRIBVO doit apparaitre apres CONTRIBVO	herbelin	2003-10-06
*	Debranchement de la regle .v.vo pour que celle-ci ne soit pas prise quand new...	herbelin	2003-10-04
*	NEWVO doit apparaitre apres VO + divers	herbelin	2003-10-04
*	Bug cible newtheories/Init + divers	herbelin	2003-10-03
*	Nettoyage, simplification et compatibilite -j	herbelin	2003-10-03
*	oubli de deux flags -v7	letouzey	2003-10-03
*	pa_ifdef.cmo redondant	herbelin	2003-09-26
*	Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...	herbelin	2003-09-23
*	Passage à la V8 par défaut	herbelin	2003-09-22