coq - The formal proof system

Age	Commit message (Expand)	Author
2002-11-14	Re-ajout constrIn	herbelin
2002-11-14	bugs	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-11-14	Oubli	herbelin
2002-11-14	MAJ syntaxe	herbelin
2002-11-14	JMeq now treated as an equality by tactics.	courant
2002-11-14	nettoyage preuve limit_comp	courant
2002-11-14	maj	filliatr
2002-11-13	simplification common_ancestor	courant
2002-11-13	typo	courant
2002-11-13	Un revenant hors sujet	herbelin
2002-11-12	rep why ignore	filliatr
2002-11-10	more cleaning	herbelin
2002-11-08	Correction bug PR#222	coq
2002-11-08	maj	filliatr
2002-11-07	Un hack camlp4 qui marche à tous les coups pour continuer à parser '(n)' co...	herbelin
2002-11-07	fix forbidden currified constructors	ddr
2002-11-06	Raffinement de l'heuristique d'unification dans sig_clausale_forme	herbelin
2002-11-06	Test de la correction d'un bug soumis par Dachuan Yu	herbelin
2002-11-06	Un Local construit par preuve hors section doit être considéré global	herbelin
2002-11-06	maj	filliatr
2002-11-05	Intégration de la branche mowgli	herbelin
2002-11-05	Intégration des modifs de la branche mowgli :	herbelin
2002-11-05	Nouvelle option -xml à coqtop pour compiler un développement en	herbelin
2002-11-05	cosmetique	letouzey
2002-11-04	un bug concernant l'expansion des Map_rec si Map n'est pas ouvert	letouzey
2002-11-04	nettoyage et reorganisation	letouzey
2002-11-04	maj avec tous les mli	letouzey
2002-11-04	Un fichier a utiliser via Drop pour le debug de l'extraction.	letouzey
2002-11-04	ajout d'une entrée au makefile pour faire toutes les theories sauf les reals	letouzey
2002-11-04	ajout d'un printer pour les global_reference	letouzey
2002-11-03	Ajout delimiteurs dans les motifs de Cases	herbelin
2002-11-03	Moulinette	herbelin
2002-11-03	Divers	herbelin
2002-11-01	maj	filliatr
2002-10-31	L'extraction c'est magic cvs -n up	letouzey
2002-10-31	maj	filliatr
2002-10-30	Désagglutination du squelette de la notation et de sa précédence	herbelin
2002-10-30	Optimisation du choix des niveaux intermédiaires dans une notation complexe	herbelin
2002-10-29	Bugs	herbelin
2002-10-29	Des critères plus fins d'analyse des implicites automatiques; meilleur affic...	herbelin
2002-10-29	Mais laisser la syntaxe (!id) aussi disponible !	herbelin
2002-10-29	Préservation de la cohérence du cache en cas d'erreur au chargement	herbelin
2002-10-29	Parenthèse non obligatoires autour de !id sans argument	herbelin
2002-10-29	Prise en compte let-in	herbelin
2002-10-29	maj	filliatr
2002-10-28	Des critères plus fins d'analyse des implicites automatiques; meilleur affic...	herbelin
2002-10-28	maj	filliatr
2002-10-26	code mort	herbelin
2002-10-23	Clarification changements autour de Remark/Fact/Local	herbelin