coq - The formal proof system

Age	Commit message (Expand)	Author
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey
2009-03-14	Makefile: ml dependencies of contribs are moved to .mllib files	letouzey
2008-12-29	- Added support for subterm matching in SearchAbout.	herbelin
2008-12-28	- Another bug in get_sort_family_of (sort-polymorphism of constants and	herbelin
2008-12-16	Take advantage of natdynlink when available: almost all contribs become loada...	letouzey
2008-06-10	- Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs)	herbelin
2008-04-13	Bugs, nettoyage, et améliorations diverses	herbelin
2007-11-08	small copy&paste bug in zify: some Pmult should be Nmult	letouzey
2007-07-18	A generic preprocessing tactic zify for (r)omega	letouzey
2007-07-09	Improvements / Bug fixes for ROmega	letouzey
2007-05-20	- Propagation des evars non résolues vers les with_bindings; permet par exemple	herbelin
2006-11-16	suppression de code mort (avec bug de nom)	letouzey
2006-06-09	Bug suite déplacement Int.v dans ZArith	herbelin
2006-04-28	Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...	notin
2006-03-23	correctifs de bug pour romega:	letouzey
2006-03-17	Modification des propriétés (svn:executable)	notin
2006-01-11	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin
2005-12-26	Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...	herbelin
2005-12-25	Adaptation des noms de OmegaLemmas aux noms de Z; traduction des noms v7 de Z...	herbelin
2005-12-02	Changement des named_context	gregoire
2005-11-08	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin
2005-05-03	Open Scope non Local malencontreux	herbelin
2005-05-02	Utilisation Z_scope	herbelin
2005-02-18	Déboggueur et code mort	herbelin
2005-02-17	Correction bug #922 (problème dans depend) + formattage débogueur	herbelin
2005-02-06	Nettoyage et documentation de Library	herbelin
2004-12-29	Bug transformation assert dans commit précédent	herbelin
2004-12-27	Utilisation d'entiers en précision arbitraire pour le noyau d'omega (cf #898)	herbelin
2004-12-27	Remplacement du coeur d'omega (omega.ml) par la version plus gnrale utilise p...	herbelin
2004-09-12	inclusion de meta_map dans evar_defs	barras
2004-07-16	Nouvelle en-tête	herbelin
2004-05-28	Retour sur amendement de l'interprétation mult sur nat (bug 743) car incompa...	herbelin
2004-05-07	Correction interprétation mult sur nat (bug 743), bug Oufo (mais Oufo est de...	herbelin
2004-03-04	Reparation ROmega V8/Omega ZERO/POS/NEG	mohring
2004-03-01	Protection d'un 'clear' qui peut etre dependant	herbelin
2003-12-24	La correction precedente a mis en evidence un defaut de l'utilisation de intr...	herbelin
2003-12-23	Renommages des hypotheses transformees car en raison des possibles dependance...	herbelin
2003-12-15	modif existentielle (exists \| --> exists ,) + bug d'affichage des pt fixes	barras
2003-11-29	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin
2003-11-12	Restructuration ZArith	herbelin
2003-11-05	Déport des lemmes de Omega de ZArith vers OmegaLemmas	herbelin
2003-11-04	Extension de zarith	herbelin
2003-10-21	Construction des chemins de constantes plus robuste	herbelin
2003-10-03	Cacher les .v8	herbelin
2003-09-26	Un peu plus de souplesse dans la globalisation des noms utilises par les tact...	herbelin
2003-06-10	Globalisation de ce qui n'etait pas encore globalise	herbelin
2003-05-19	Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern	herbelin
2003-04-17	commentaires	herbelin
2003-04-09	Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import"	herbelin
2003-03-31	factorisation des "constant" dans les contrib/* ( maintenant dans coqlib )	corbinea