coq - The formal proof system

Age	Commit message (Expand)	Author
2003-03-12	* empty log message *	barras
2003-02-13	Correction d'un bug introduit dans le backtracking d'occurrence	delahaye
2003-02-13	Chargement dynamique de .cma	delahaye
2003-02-13	Debugger plus informatif	delahaye
2003-01-22	Mauvais environnement d'évaluation pour les globaux	herbelin
2003-01-21	Plus du tout de backtracking dans "Match term"; vrai Exit dans débogueur	herbelin
2003-01-20	Mauvaise interprétatin de IdentArgType	herbelin
2003-01-20	Protection contre les noms de tactiques inconnus; restriction exceptions ratt...	herbelin
2003-01-20	Petits bugs	herbelin
2003-01-19	Utilisation d'une exception 'catchable'	herbelin
2003-01-19	Restructuration interpréteur de tactique: plus d'évaluation partielle à la...	herbelin
2002-12-21	Légère amélioration des messages d'erreur des with-bindings et des Rewrite	herbelin
2002-12-15	Traitement spécial pour les types à l'internalisation	herbelin
2002-12-12	Ajout du vernac Proof with	gregoire
2002-12-09	Ajout Simpl et Change sur des sous-termes	herbelin
2002-11-14	Re-ajout constrIn	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-11-05	Intégration des modifs de la branche mowgli :	herbelin
2002-10-21	Ajout d'un suffixe "as [ names ]" pour nommer manuellement les	herbelin
2002-10-21	NewDestruct/NewInduction acceptent l'option "using"	herbelin
2002-10-14	L'application de ltac attend une référence; meilleure protection contre	herbelin
2002-08-16	correction de bugs:	barras
2002-08-13	Renoncement à distinguer les types "constr" et "types"; nettoyage	herbelin
2002-08-02	Modules dans COQ\!\!\!\!	coq
2002-07-16	Bug dans la globalisation des arguments de tactiques primitives	herbelin
2002-07-11	Que la localisation des erreurs pour les tactiques atomiques marche	herbelin
2002-07-03	Hack pour autoriser les $n dans les Grammar tactic	herbelin
2002-06-13	Réparation de l'interprétation des fermetures (sans casser Field!)	herbelin
2002-06-06	Ajout coercion constr vers hyp quantifiée	herbelin
2002-05-31	Les VContext ne sont plus des fermetures (temporaire)	delahaye
2002-05-30	Finalement un seul constr pour l'instant dans ExtraRedExpr	herbelin
2002-05-29	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin