aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2001-10-11Suppression option immediate_discharge; nettoyage de Declare et conséquencesherbelin
2001-10-11Bug collision entre les implicites d'un global et les variables locales de mĂ...herbelin
2001-10-10Incompatibilité entre la prise en compte des univers au niveau des tactiques...herbelin
2001-10-09Suppression des arguments sur les constantes, inductifs et constructeursbarras
2001-10-05Petit oubli Ă  propos de ThinBodyherbelin
2001-10-05Nouvelle tactique primitive ThinBody et nouvelles tactiques utilisateurs 'Cle...herbelin
2001-10-05un echo de débogage superfluherbelin
2001-10-05Test de dépendances de ClearBodyherbelin
2001-10-03Bug de synthèse du prédicat en présence d'arguments non filtrable; correct...herbelin
2001-10-03Bug d'affichage du prédicat, bug d'affichage des clauses en présence de dé...herbelin
2001-10-03Bugs de vérification de la bonne fondation en présence de définitions loca...herbelin
2001-10-03coqtop includes itself the needed pathsherbelin
2001-10-03MAJ docherbelin
2001-10-03Correction messages d'erreurherbelin
2001-10-03Ces fichiers repassent (y restait un bug dans l'inférence du prédicat)herbelin
2001-10-03Tests de Cases avec définitions localesherbelin
2001-10-02Ajout de dynamiques pour les quotations constr et tacticdelahaye
2001-10-02Encapsulage des '<' et '>' pour éviter le regroupement '«'herbelin
2001-10-01correction de deux petits bugs: case_identité trop fort et Anomaly dans le t...letouzey
2001-10-01Incompatibilite camlp4 -pp et windows resolu a partir de camlp4 3.01.6herbelin
2001-10-01Il faut camlp4 > 3.01.6 pour windowsherbelin
2001-10-01Tests noms longs de modulesherbelin
2001-09-30Doc de Ltac, Field et AutoRewrite -> FAITdelahaye
2001-09-30Ajout du printer de tactiques + modif du Dynamic ocamldelahaye
2001-09-27Ultime Ultimeherbelin
2001-09-27Ajout INSTALL.winherbelin
2001-09-27Simplification de deux preuves. En outre ca simplifie leur extraction.letouzey
2001-09-27and_rec redondantletouzey
2001-09-26MAJ V7.1herbelin
2001-09-26Ultime MAJherbelin
2001-09-26tools pas fait automatiquementherbelin
2001-09-26Compatibilite Windoz/cygwinherbelin
2001-09-26Compatibilite Windowsherbelin
2001-09-26MAJ contribherbelin
2001-09-26Hack pour ajuster les chemins a la mode cygwinherbelin
2001-09-26Compatibilite Windozherbelin
2001-09-26Protection contre erreurs Unixherbelin
2001-09-26Le fichier .vo etait ecrit dans un mauvais repertoire si ce dernier etait tro...herbelin
2001-09-25*** empty log message ***barras
2001-09-25ajout d'un fichier test pour setoidesclrenard
2001-09-25Qqes oublisherbelin
2001-09-25Ajout d'un résumé des modificationsherbelin
2001-09-25Nouvel emplacement pour coq.specherbelin
2001-09-25correctiontypo SETOIDSVOwerner
2001-09-25MAJ V7.1herbelin
2001-09-25Mise en pageherbelin
2001-09-25Mise en pageherbelin
2001-09-25MAJherbelin
2001-09-24Orthographe ?herbelin
2001-09-24Changement du message d'erreur pour l'interpreteur de tactiquesdelahaye
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 21:12:33 +0000