coq - The formal proof system

Age	Commit message (Expand)	Author
2005-10-13	maj	coq
2005-10-12	maj	coq
2005-10-11	maj	coq
2005-10-10	maj	coq
2005-10-09	maj	coq
2005-10-08	maj	coq
2005-10-07	maj	coq
2005-10-07	Ajout maj répertoire d'archivage par version de Coq	herbelin
2005-10-06	maj	coq
2005-10-06	MAJ pauillac -> yquem	herbelin
2005-10-05	maj	coq
2005-10-04	maj	coq
2005-10-03	maj	coq
2005-10-02	maj	coq
2005-10-01	maj	coq
2005-09-30	maj	coq
2005-09-29	maj	coq
2005-09-28	maj	coq
2005-09-27	maj	coq
2005-09-26	maj	coq
2005-09-25	maj	coq
2005-09-24	maj	coq
2005-09-23	maj	coq
2005-09-22	maj	coq
2005-09-21	maj	coq
2005-09-21	Niveau 99 permettant de parser { } nécessaire aussi dans l'entrée pattern	herbelin
2005-09-20	maj	coq
2005-09-19	maj	coq
2005-09-18	maj	coq
2005-09-17	maj	coq
2005-09-16	maj	coq
2005-09-16	changed the syntax categories of arguments of functional scheme	coq
2005-09-15	maj	coq
2005-09-14	maj	coq
2005-09-13	maj	coq
2005-09-12	maj	coq
2005-09-11	maj	coq
2005-09-10	maj	coq
2005-09-10	Petit bug Declare Implicit Tactic	herbelin
2005-09-09	maj	coq
2005-09-09	maj	coq
2005-09-09	Declare Implicit Tactic	herbelin
2005-09-09	Declare Implicit Tactic	herbelin
2005-09-09	Référence pour IntMap	herbelin
2005-09-09	Nouvelle déclaration 'Declare Implicit Tactic' pour automatiser la résoluti...	herbelin
2005-09-09	Conséquences nettoyage pretyping.ml	herbelin
2005-09-09	Léger nettoyage et uniformisation + généralisation du point d'entrée ltac...	herbelin
2005-09-09	Suppression code inactif et commentaire apparemment incorrect (pour éviter c...	herbelin
2005-09-09	Suppression test CCSolve car remplaçé par Congruence mais qui ne traite pas...	herbelin
2005-09-08	maj	coq