coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	test: un boolean et une fonction check_for_interrupt inseree dans la conversi...	filliatr	2003-04-08
*	A usage cosmetique	letouzey	2002-11-28
*	Ajout list_map_assoc	herbelin	2002-11-26
*	Ajout option_cons	herbelin	2002-11-24
*	Ajout option_fold_left2	herbelin	2002-11-20
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Ajout optino_iter	herbelin	2002-10-14
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	Amélioration des messages d'erreurs concernant l'inférence des implicites	herbelin	2002-04-10
*	ajout option_compare	herbelin	2002-02-28
*	ajout list_split3, pr_semicolon et pr_bar	herbelin	2002-01-30
*	List.map avec ordre des effets de bord garanti	herbelin	2002-01-18
*	compat ocaml 3.03	filliatr	2001-12-13
*	nouvel algo de conversion plus uniforme	barras	2001-11-29
*	Nouvelle fonction	herbelin	2001-10-17
*	Parsing	herbelin	2001-08-10
*	nettoyage extraction	filliatr	2001-05-09
*	Changement de la structure des points fixes	barras	2001-05-03
*	array_fold_left_i	filliatr	2001-04-05
*	entetes	filliatr	2001-03-15
*	Ajout list_map3	herbelin	2001-03-12
*	Restructuration	herbelin	2001-02-14
*	option -m (utilisation memoire)	filliatr	2001-02-09
*	simplification du make depend; fonctions de stat. util. memoire dans certains...	filliatr	2001-02-08
*	calcul des dependances camlp4 et production directe ml4 -> cmo (avec Judicael)	filliatr	2001-02-05
*	Ajout d'espace dans les règles d'affichage des infix si des lettres figurent...	herbelin	2001-01-31
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	Retrait list_except_assoc qui existe en standard dans ocaml (remove_assoc)	herbelin	2000-12-06
*	Prise en compte du repertoire dans le section path; utilisation de dirpath po...	herbelin	2000-11-28
*	Le bon type pour list_fold_right_and_left	herbelin	2000-07-01
*	fonction list_fold_left_right pas definie	filliatr	2000-06-30
*	Ajout list_fold_right_and_left	herbelin	2000-06-29
*	portage EAuto et Ring	filliatr	2000-06-21
*	doc	herbelin	2000-05-31
*	Ajout matrix_transpose	herbelin	2000-03-07
*	Abstraction de l'implémentation des signatures de Sign en vue intégration d...	herbelin	2000-01-26
*	gros commit de tout ce que j'ai fait pendant les vacances :	filliatr	2000-01-21
*	debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkes	filliatr	1999-12-07
*	declarations eliminations / debuggae inductifs (debut)	filliatr	1999-12-06
*	- global_reference traite des variables	filliatr	1999-12-03
*	modifs pour premiere edition de liens	filliatr	1999-12-02
*	poursuite de Vernacentries	filliatr	1999-12-01
*	prvecti	filliatr	1999-11-26
*	module Termast	filliatr	1999-11-26
*	MAJ pour fusion avec pretyping	herbelin	1999-11-24
*	Vernacinterp et Vernacentries (partiellement)	filliatr	1999-11-24
*	Auto,Dhyp,Elim / Reduction de Evar / declarations eliminations	filliatr	1999-11-24
*	modules Indrec, Tacentries, Hiddentac	filliatr	1999-11-23
*	module Wcclausenv	filliatr	1999-11-22