coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Nouvelle option -xml à coqtop pour compiler un développement en	herbelin	2002-11-05
*	Ajout optino_iter	herbelin	2002-10-14
*	Bug affichage du chiffre 0	herbelin	2002-10-13
*	Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...	herbelin	2002-10-13
*	Lazy manuelles dans le code	coq	2002-10-07
*	Lazy experimentale temporaire...	coq	2002-10-05
*	retablissement de Correctness (pas encore teste' cependant)	filliatr	2002-09-18
*	Réintroduction de l'expansion des variables de shell et de '~' dans les	herbelin	2002-09-16
*	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
*	Changement Filename.is_relative en Filename.is_implicit, plus pertinent	herbelin	2002-05-27
*	Amélioration des messages d'erreurs concernant l'inférence des implicites	herbelin	2002-04-10
*	ajout option_compare	herbelin	2002-02-28
*	- Reforme de la gestion des args recursifs (via arbres reguliers)	barras	2002-02-14
*	option -dump-glob pour coqdoc	filliatr	2002-02-14
*	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
*	Le chargement des coercions est nécessaire même si le module n'est pas ouvert	herbelin	2002-01-18
*	code redondant avec is_verbose	herbelin	2002-01-18
*	Ajout flush	herbelin	2002-01-10
*	reparation du make depend et du .depend	letouzey	2001-12-19
*	compat ocaml 3.03	filliatr	2001-12-13
*	nouvel algo de conversion plus uniforme	barras	2001-11-29
*	Nouvelle fonction	herbelin	2001-10-17
*	Suppression option immediate_discharge; nettoyage de Declare et conséquences	herbelin	2001-10-11
*	Transparent	barras	2001-09-20
*	On ignore les répertoires invisibles dans all_subdirs	herbelin	2001-09-20
*	Bug	herbelin	2001-08-10
*	Prise en compte des strings et des flottants dans les statistiques de tailles...	herbelin	2001-08-10
*	Parsing	herbelin	2001-08-10
*	Nouveau profiler compatible avec ocaml >= 3.01	herbelin	2001-08-05
*	MAJ vis à vis de ocaml 3.01	herbelin	2001-08-01
*	option -quality	filliatr	2001-05-28
*	nettoyage extraction	filliatr	2001-05-09
*	quelques bug reports mineurs	barras	2001-05-07
*	Changement de la structure des points fixes	barras	2001-05-03
*	* empty log message *	courant	2001-04-19
*	array_fold_left_i	filliatr	2001-04-05
*	utilisation de Options.if_verbose	filliatr	2001-04-03
*	amelioration de la consommation memoire de la conversion en eta-expansant	barras	2001-03-23
*	entetes	filliatr	2001-03-15
*	passage ocaml 3.01	filliatr	2001-03-13
*	Ajout list_map3	herbelin	2001-03-12
*	protection contre certaines exceptions levees par marshal_{in,out}	barras	2001-03-09
*	EAutod (debug)	filliatr	2001-03-06
*	module Explore générique et réécriture EAuto avec ce module; occur check ...	filliatr	2001-03-05
*	export open_trapping_failure pour contrib/extraction	filliatr	2001-02-26
*	Mise en place d'un système optionnel de discharge immédiat; prise en compte...	herbelin	2001-02-14
*	Restructuration	herbelin	2001-02-14