coq - The formal proof system

Age	Commit message (Expand)	Author
2005-01-05	maj	coq
2005-01-05	[ Waiting for a keyword to control expansion during functor application ]	sacerdot
2005-01-04	maj	coq
2005-01-03	maj	coq
2005-01-03	maj	coq
2005-01-03	HUGE COMMIT	sacerdot
2005-01-03	Renommage symbols.ml{,i} en notation.ml{,i} pour permettre le chargement de p...	herbelin
2005-01-02	maj	coq
2005-01-02	maj	coq
2005-01-02	Renommage symbols.ml{,i} en notation.ml{,i} pour permettre le chargement de p...	herbelin
2005-01-02	Réactivation d'un outil d'affichage pour le débogueur compatible avec ocaml...	herbelin
2005-01-02	Pour permettre le chargement des printers en ocamldebug >= 3.07 : renommage s...	herbelin
2005-01-02	MAJ	herbelin
2005-01-02	Renommage symbols.ml{,i} en notation.ml{,i} pour permettre le chargement de p...	herbelin
2005-01-02	Découpage des printers pour ne pas avoir de dépendances en la vm dans les p...	herbelin
2005-01-02	Partie reduction_of_red_expr de tacred.ml qui dépend de la vm maintenant dan...	herbelin
2005-01-01	maj	coq
2005-01-01	Déplacement de 'project' dans Refiner pour supprimer des dépendances en Tac...	herbelin
2004-12-31	maj	coq
2004-12-31	Déplacement de 'project' dans Refiner pour supprimer des dépendances en Tac...	herbelin
2004-12-31	Suppression de la dépendance en Tacmach pour pouvoir être appelé de top_pr...	herbelin
2004-12-31	Compatibilité ancien nom de ocamldebug-coq	herbelin
2004-12-31	Remplacement ocamldebug-v7 par lien symbolique ne marche pas, finalement, cr�...	herbelin
2004-12-31	Remplacement ocamldebug-v7 par ocamldebug-coq (2ème)	herbelin
2004-12-30	maj	coq
2004-12-30	Rétablissement d'un vrai Eval sous le contexte des définitions, pas un qui ...	herbelin
2004-12-29	maj	coq
2004-12-29	maj	coq
2004-12-29	ExtraRedExpr maintenant sans argument: pas très souple mais au moins convien...	herbelin
2004-12-29	Bug control_only_guard	herbelin
2004-12-29	Ajout printer bigint	herbelin
2004-12-29	Bug transformation assert dans commit précédent	herbelin
2004-12-28	maj	coq
2004-12-27	maj	coq
2004-12-27	maj	coq
2004-12-27	Utilisation d'entiers en précision arbitraire pour le noyau d'omega (cf #898)	herbelin
2004-12-27	Ajout test bug 860	herbelin
2004-12-27	Remplacement du coeur d'omega (omega.ml) par la version plus générale utili...	herbelin
2004-12-27	Remplacement du coeur d'omega (omega.ml) par la version plus gnrale utilise p...	herbelin
2004-12-26	maj	coq
2004-12-25	maj	coq
2004-12-25	maj	coq
2004-12-25	Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...	herbelin
2004-12-25	Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...	herbelin
2004-12-24	maj	coq
2004-12-24	Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...	herbelin
2004-12-24	Typo	herbelin
2004-12-24	Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...	herbelin
2004-12-23	maj	coq
2004-12-23	MAJ coq v8	herbelin