aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* warning silencieuxGravatar filliatr2001-09-20
* version V7.1Gravatar herbelin2001-09-20
* Restriction de l'avertissement add_loadpath au mode verbeuxGravatar herbelin2001-09-20
* On ignore les répertoires qui ne correspondent pas à des identsGravatar herbelin2001-09-20
* On ignore les répertoires invisibles dans all_subdirsGravatar herbelin2001-09-20
* RomegaGravatar mohring2001-09-20
* let-in dans RefineGravatar filliatr2001-09-20
* Refine et let-inGravatar filliatr2001-09-20
* Blindage, de peur que des types entrant non en forme normale ne provoque des ...Gravatar herbelin2001-09-19
* Nouvelle fonction get_sort_family_of pour calculer la famille dans lequel vit...Gravatar herbelin2001-09-19
* Type 'sorts_family' (ex elimination_sorts) pour caractériser les familles de...Gravatar herbelin2001-09-19
* Nouvelle fonction sort_family_of pour calculer la famille dans lequel vit un ...Gravatar herbelin2001-09-19
* Intégration partielle des modifs de la V7.0Gravatar herbelin2001-09-19
* Affichage des dir_path videGravatar herbelin2001-09-19
* Autorisation de surcharge d'un -R par un -IGravatar herbelin2001-09-19
* ajout du fichier CHANGESGravatar letouzey2001-09-19
* la cible all était incomplèteGravatar filliatr2001-09-19
* Protection hd d'une liste videGravatar herbelin2001-09-19
* adaptation a la nouvelle syntaxe Extract Inlined ConstantGravatar letouzey2001-09-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 19:02:42 +0000