aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Ajout de dynamiques pour les quotations constr et tacticGravatar delahaye2001-10-02
* Encapsulage des '<' et '>' pour éviter le regroupement '«'Gravatar herbelin2001-10-02
* correction de deux petits bugs: case_identité trop fort et Anomaly dans le t...Gravatar letouzey2001-10-01
* Incompatibilite camlp4 -pp et windows resolu a partir de camlp4 3.01.6Gravatar herbelin2001-10-01
* Il faut camlp4 > 3.01.6 pour windowsGravatar herbelin2001-10-01
* Tests noms longs de modulesGravatar herbelin2001-10-01
* Doc de Ltac, Field et AutoRewrite -> FAITGravatar delahaye2001-09-30
* Ajout du printer de tactiques + modif du Dynamic ocamlGravatar delahaye2001-09-30
* Ultime UltimeGravatar herbelin2001-09-27
* Ajout INSTALL.winGravatar herbelin2001-09-27
* Simplification de deux preuves. En outre ca simplifie leur extraction.Gravatar letouzey2001-09-27
* and_rec redondantGravatar letouzey2001-09-27
* MAJ V7.1Gravatar herbelin2001-09-26
* Ultime MAJGravatar herbelin2001-09-26
* tools pas fait automatiquementGravatar herbelin2001-09-26
* Compatibilite Windoz/cygwinGravatar herbelin2001-09-26
* Compatibilite WindowsGravatar herbelin2001-09-26
* MAJ contribGravatar herbelin2001-09-26
* Hack pour ajuster les chemins a la mode cygwinGravatar herbelin2001-09-26
* Compatibilite WindozGravatar herbelin2001-09-26
* Protection contre erreurs UnixGravatar herbelin2001-09-26
* Le fichier .vo etait ecrit dans un mauvais repertoire si ce dernier etait tro...Gravatar herbelin2001-09-26
* *** empty log message ***Gravatar barras2001-09-25
* ajout d'un fichier test pour setoidesGravatar clrenard2001-09-25
* Qqes oublisGravatar herbelin2001-09-25
* Ajout d'un résumé des modificationsGravatar herbelin2001-09-25
* Nouvel emplacement pour coq.specGravatar herbelin2001-09-25
* correctiontypo SETOIDSVOGravatar werner2001-09-25
* MAJ V7.1Gravatar herbelin2001-09-25
* Mise en pageGravatar herbelin2001-09-25
* Mise en pageGravatar herbelin2001-09-25
* MAJGravatar herbelin2001-09-25
* Orthographe ?Gravatar herbelin2001-09-24
* Changement du message d'erreur pour l'interpreteur de tactiquesGravatar delahaye2001-09-24
* Commentaires pour make docGravatar herbelin2001-09-24
* One more boolean test bugGravatar herbelin2001-09-24
* Bug test booléenGravatar herbelin2001-09-24
* Marre des unrecognized objectsGravatar herbelin2001-09-24
* MAJ V7.1Gravatar herbelin2001-09-24
* MAJGravatar herbelin2001-09-24
* Réparation des options Set Printing and coGravatar herbelin2001-09-21
* Vérification de la syntaxe des optionsGravatar herbelin2001-09-21
* repare la perte d'opacite a la fermeture de sectionGravatar barras2001-09-21
* Correction due au changement de semantique de MatchGravatar delahaye2001-09-21
* Vers la fin de la restructurationGravatar herbelin2001-09-21
* Problème d'affichage d'un . pour les Local_constraints; remplacement par IdtacGravatar herbelin2001-09-21
* Mise en place globalisation optionnelle pour Infix/DistfixGravatar herbelin2001-09-21
* Protection contre des arguments farfelus pour les implicites manuelsGravatar herbelin2001-09-21
* Protection contre Not_foundGravatar herbelin2001-09-21
* *** empty log message ***Gravatar mohring2001-09-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-02 06:48:51 +0000