aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2001-09-25MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2061 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-24Orthographe ?herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2060 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-24Changement du message d'erreur pour l'interpreteur de tactiquesdelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2059 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-24Commentaires pour make docherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2058 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-24One more boolean test bugherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2057 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-24Bug test booléenherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2056 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-24Marre des unrecognized objectsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2055 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-24MAJ V7.1herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2054 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-24MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2053 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-21Réparation des options Set Printing and coherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2052 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-21Vérification de la syntaxe des optionsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2051 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-21repare la perte d'opacite a la fermeture de sectionbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2050 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-21Correction due au changement de semantique de Matchdelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2049 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-21Vers la fin de la restructurationherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2048 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-21Problème d'affichage d'un . pour les Local_constraints; remplacement par Idtacherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2047 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-21Mise en place globalisation optionnelle pour Infix/Distfixherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2046 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-21Protection contre des arguments farfelus pour les implicites manuelsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2045 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-21Protection contre Not_foundherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2044 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-21*** empty log message ***mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2043 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-21Mise a jourmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2042 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-21make docfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2041 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20Amélioration affichage de print_leaf_entryherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2040 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20Rajout 'Set Printing Depth'herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2039 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2038 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20Correction (double) bug de Generalize Dependentherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2037 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20Correction bug affichage Infix/Distfixherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2036 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20Transparentbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2035 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20MAJ V7.1herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2034 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20Nettoyage des commentairesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2033 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20MAJ V7.1herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2032 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20Nettoyage des commentairesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2031 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20Compatibilté make docherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2030 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20Test inférence prédicat en présence d'universherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2029 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20correction du eta_expanseletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2028 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20MAJ V7.1herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2027 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20Nombre magique pour la V7.1herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2026 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20Le prédicat du vieux Case ne doit pas contenir d'univers algébrique même ↵herbelin
quand il est synthétisé à partir du type des branches git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2025 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20Report des modifs de Claudioherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2024 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20Pas de warning pour le -I . par défaut de Coqherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2023 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20bug affichage des termes ml fournisletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2022 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20utilisation du nouveau get_sort_family_ofletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2021 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20changements mineurs du testletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2020 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20warning silencieuxfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2019 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20version V7.1herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2018 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20Restriction de l'avertissement add_loadpath au mode verbeuxherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2017 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20On ignore les répertoires qui ne correspondent pas à des identsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2016 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20On ignore les répertoires invisibles dans all_subdirsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2015 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20Romegamohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2014 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20let-in dans Refinefilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2013 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20Refine et let-infilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2012 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 12:01:40 +0000