aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2001-09-24Commentaires pour make docherbelin
2001-09-24One more boolean test bugherbelin
2001-09-24Bug test booléenherbelin
2001-09-24Marre des unrecognized objectsherbelin
2001-09-24MAJ V7.1herbelin
2001-09-24MAJherbelin
2001-09-21Réparation des options Set Printing and coherbelin
2001-09-21Vérification de la syntaxe des optionsherbelin
2001-09-21repare la perte d'opacite a la fermeture de sectionbarras
2001-09-21Correction due au changement de semantique de Matchdelahaye
2001-09-21Vers la fin de la restructurationherbelin
2001-09-21Problème d'affichage d'un . pour les Local_constraints; remplacement par Idtacherbelin
2001-09-21Mise en place globalisation optionnelle pour Infix/Distfixherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-24 03:02:21 +0000