coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Mise en place mécanisme de compatibilité ocaml 3.08	herbelin	2004-07-16
*	Nouvelle en-tête	herbelin	2004-07-16
*	modif des fixpoints pour que si on donne une notation au produit, les pts fix...	barras	2004-03-05
*	Ajout array_map_left and co	herbelin	2004-02-13
*	Localisation des erreurs d'internalisation des notations de tactiques	herbelin	2004-02-12
*	Export string_index_from	herbelin	2003-11-26
*	Ajout projections de triplet	herbelin	2003-10-13
*	Ajout option_fold_right	herbelin	2003-08-10
*	Ajout fonctions de recherche de sous-chaines (merci a Jacek)	herbelin	2003-06-10
*	Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern	herbelin	2003-05-19
*	Ajout is_ident_tail	herbelin	2003-04-29
*	une fonction list_skipn qui zappe les n premiers elements d'une liste	letouzey	2003-04-16
*	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