aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2001-09-21Protection contre des arguments farfelus pour les implicites manuelsherbelin
2001-09-21Protection contre Not_foundherbelin
2001-09-21*** empty log message ***mohring
2001-09-21Mise a jourmohring
2001-09-21make docfilliatr
2001-09-20Amélioration affichage de print_leaf_entryherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 13:05:07 +0000