coq - The formal proof system

Age	Commit message (Expand)	Author
2007-10-23	Enlevé les trucs commités au mauvais endroit	aspiwack
2007-10-23	Quelques structures de donnée plus les modules principaux (et	aspiwack
2007-10-23	Added "is_empty" to gmap.	aspiwack
2007-10-17	Repair Haskell/Scheme extraction in the new extraction backend design:	letouzey
2007-10-05	Correction de quelques défauts d'affichage (notations sous "as" pour	herbelin
2007-09-15	* Adding compability with ocaml 3.10 + camlp5 (rework of	letouzey
2007-09-04	Utilisation d'un nouvel algorithme plus raffiné pour prendre en compte les	herbelin
2007-08-30	Mise à jour des paramètres Whelp et ajouts d'options Set Whelp Server	herbelin
2007-08-28	Correction d'un bug dans check_and_warn	notin
2007-08-22	Ajout d'un warning losrqu'un nom de bibliothèque est ambigü	notin
2007-07-13	New bootstrapping, improved, Makefile system	corbinea
2007-07-11	Slight cleanup of refl_omega.ml : in particular it uses now list	letouzey
2007-07-07	If a fixpoint is not written with an explicit { struct ... }, then	letouzey
2007-05-17	Nettoyage et standardisation des messages d'erreurs.	herbelin
2007-05-11	Processor integers + Print assumption (see coqdev mailing list for the	aspiwack
2007-04-28	Ajout de la possibilité de faire référence dans certains cas à un nom	herbelin
2007-04-13	Correction bug #1477 sur ordre des variables partagées par les or-patterns.	herbelin
2007-04-02	Intégration de la modification suggérée par Michal Moskal (cf msg sur Coq ...	notin
2007-02-24	Une passe sur les warnings (ajout Options.warn déclenchée par compile-verbo...	herbelin
2007-01-31	redirection of errors in coqide + dynamic warning printer (needed for tm_egg)	corbinea
2007-01-10	Merge from Lionel Elie Mamane's private branch:	lmamane
2006-11-21	Nettoyage de l'utilisation de l'expansion des macros ~ et $ dans les noms de	herbelin
2006-10-09	Ajout combinateurs option_fold_left et name_fold_map	herbelin
2006-09-29	Added a new option -emacs-U changing emacs prompt delimiters by	courtieu
2006-09-23	Déplacement surround dans util.ml et parenthésage des déclarations	herbelin
2006-09-19	added congruence improvement	corbinea
2006-09-12	Ajout array_distinct	herbelin
2006-09-05	Code mort	herbelin
2006-09-01	Force évaluation 'naturelle' de list_map2_i et list_map3 de gauche à droite	herbelin
2006-08-28	Petite optimisation récursive-terminale en passant	herbelin
2006-05-30	Correction bug #990 (LoadPath et option -R de coqide	notin
2006-05-28	Ajout array_fold_map2Ã'	herbelin
2006-04-28	r8931@thot: notin \| 2006-04-28 16:19:38 +0200	notin
2006-04-27	Standardisation nom option_app en option_map	herbelin
2006-04-27	Modification of emacs output: Pp.warning and al now output warning	courtieu
2006-04-27	Modification of emacs output: Pp.warning and al now output warning	courtieu
2006-04-14	Si un fixpoint a plusieurs arguments, mais un seul de type inductif,	letouzey
2006-03-29	Ajout array_fold_map', list_fold_map' et list_remove_first	herbelin
2006-03-18	Documentation	herbelin
2006-02-07	Ajout plural	herbelin
2006-01-24	Suppression de la dépendance en Map.fold de ocaml dont la sémantique a	herbelin
2006-01-21	Déplacement de pr_arg et pr_opt de Ppconstr vers Util	herbelin
2006-01-03	Modification pour que l'ordre des éléments respecte l'ordre dans lequel ils...	herbelin
2005-12-28	Remplacement Pp.qs par Pptactic.qsnew	herbelin
2005-12-26	Renommage des Ppnew en Pp (et déplacement dans parsing); renommage des G_*...	herbelin
2005-12-26	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin
2005-12-02	Changement des named_context	gregoire
2005-11-23	bug de coqide sous windows (bad file descriptor)	barras
2005-11-08	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin
2005-11-02	Types inductifs parametriques	mohring