aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2001-09-20Rajout 'Set Printing Depth'herbelin
2001-09-20MAJherbelin
2001-09-20Correction (double) bug de Generalize Dependentherbelin
2001-09-20Correction bug affichage Infix/Distfixherbelin
2001-09-20Transparentbarras
2001-09-20MAJ V7.1herbelin
2001-09-20Nettoyage des commentairesherbelin
2001-09-20MAJ V7.1herbelin
2001-09-20Nettoyage des commentairesherbelin
2001-09-20Compatibilté make docherbelin
2001-09-20Test inférence prédicat en présence d'universherbelin
2001-09-20correction du eta_expanseletouzey
2001-09-20MAJ V7.1herbelin
2001-09-20Nombre magique pour la V7.1herbelin
2001-09-20Le prédicat du vieux Case ne doit pas contenir d'univers algébrique même q...herbelin
2001-09-20Report des modifs de Claudioherbelin
2001-09-20Pas de warning pour le -I . par défaut de Coqherbelin
2001-09-20bug affichage des termes ml fournisletouzey
2001-09-20utilisation du nouveau get_sort_family_ofletouzey
2001-09-20changements mineurs du testletouzey
2001-09-20warning silencieuxfilliatr
2001-09-20version V7.1herbelin
2001-09-20Restriction de l'avertissement add_loadpath au mode verbeuxherbelin
2001-09-20On ignore les répertoires qui ne correspondent pas à des identsherbelin
2001-09-20On ignore les répertoires invisibles dans all_subdirsherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-11 07:00:17 +0000