coq - The formal proof system

Age	Commit message (Expand)	Author
2003-05-13	Orthographe anglaise	herbelin
2003-05-05	Corrige Bug (PR#290)	coq
2003-04-29	En v8: abandon de Rle_sym2, Rle_sym1 au profit de Rge_le, Rle_ge; abandon de ...	herbelin
2003-04-16	simplification: fst (list_chop n l) = firstn n l et snd (list_chop n l) = lis...	letouzey
2003-04-10	Affichage forcé des implicites contextuels si pas de contexte connu	herbelin
2003-04-09	Bug init_function	herbelin
2003-04-09	Synchronisation séparée des implicites pour l'affichage du traducteur;	herbelin
2003-04-09	Correction Show Implicits	herbelin
2003-04-09	Gestion synchronisation des Impargs.*_out et des Impargs._strict dans Impargs	herbelin
2003-04-09	Synchronisation avec reset	herbelin
2003-04-09	Réorganisation de Impargs + mise en place d'une infrastructure	herbelin
2003-04-07	Globalisation des noms de tactiques dans les définitions de tactiques	herbelin
2003-04-07	Renommage unicite/unicity pour la v8	herbelin
2003-03-31	Mise en place d'un traducteur de noms v7->v8	herbelin
2003-03-29	Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar)	herbelin
2003-03-26	ajout d'une fonction reset_mod	monate
2003-03-13	Ajout réaffichage SubClass	herbelin
2003-03-12	* empty log message *	barras
2003-02-24	False dependencies in summary	coq
2003-02-05	Ajout du traducteur	desmettr
2003-02-03	release 7.4; changement magic number	filliatr
2003-01-31	Pour satisfaire ProofGeneral	coq
2003-01-27	Deux p\'tits trucs ;)	coq
2003-01-22	Bug 'with Module' corrige	coq
2003-01-09	Export M + Module M <: SIG	coq
2002-12-19	Petit netoyage dans lib	coq
2002-12-16	Petit netoyage des open's et commentaires	coq
2002-12-11	Essai de hconsing local au declarations	herbelin
2002-12-10	Hash-consing dès la lib_stk	herbelin
2002-12-09	Corrections de gestion des univers et modules + meilleure gestions des noms...	coq
2002-12-05	des Set et des Map en plus	letouzey
2002-12-04	Correction d'un message d'erreur de l'application de non-foncteur	coq
2002-12-02	Ajout des options "Set Contextual Implicits" et "Set Strict Implicits	herbelin
2002-11-28	Quelques Set et Map spécialisés	letouzey
2002-11-26	Affichage nom le plus court pour Syntactic Definition	herbelin
2002-11-24	Ajout Refmap	herbelin
2002-11-18	Analyse plus fine des occurrences rigides	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-11-08	Correction bug PR#222	coq
2002-11-05	Intégration des modifs de la branche mowgli :	herbelin
2002-10-29	Préservation de la cohérence du cache en cas d'erreur au chargement	herbelin
2002-10-29	Prise en compte let-in	herbelin
2002-10-28	Des critères plus fins d'analyse des implicites automatiques; meilleur affic...	herbelin
2002-10-12	Nettoyage	herbelin
2002-10-12	Forcer la réouverture d'un fichier explicitement requis même si le	herbelin
2002-10-10	Nametab permet de definir le meme truc la deuxieme fois	coq
2002-09-27	Encore quelques rangements dans Nametab + petits trucs	coq
2002-09-24	Un peu (plus) d'ordre dans Nametab...	coq
2002-09-24	Nametab data structure reorganisation	coq
2002-09-20	La notation with dependante + affichage dependante de moduels corrige	coq