aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* 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
* Mise a jourGravatar mohring2001-09-21
* make docGravatar filliatr2001-09-21
* Amélioration affichage de print_leaf_entryGravatar herbelin2001-09-20
* Rajout 'Set Printing Depth'Gravatar herbelin2001-09-20
* MAJGravatar herbelin2001-09-20
* Correction (double) bug de Generalize DependentGravatar herbelin2001-09-20
* Correction bug affichage Infix/DistfixGravatar herbelin2001-09-20
* TransparentGravatar barras2001-09-20
* MAJ V7.1Gravatar herbelin2001-09-20
* Nettoyage des commentairesGravatar herbelin2001-09-20
* MAJ V7.1Gravatar herbelin2001-09-20
* Nettoyage des commentairesGravatar herbelin2001-09-20
* Compatibilté make docGravatar herbelin2001-09-20
* Test inférence prédicat en présence d'universGravatar herbelin2001-09-20
* correction du eta_expanseGravatar letouzey2001-09-20
* MAJ V7.1Gravatar herbelin2001-09-20
* Nombre magique pour la V7.1Gravatar herbelin2001-09-20
* Le prédicat du vieux Case ne doit pas contenir d'univers algébrique même q...Gravatar herbelin2001-09-20
* Report des modifs de ClaudioGravatar herbelin2001-09-20
* Pas de warning pour le -I . par défaut de CoqGravatar herbelin2001-09-20
* bug affichage des termes ml fournisGravatar letouzey2001-09-20
* utilisation du nouveau get_sort_family_ofGravatar letouzey2001-09-20
* changements mineurs du testGravatar letouzey2001-09-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-17 00:26:53 +0000