aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2001-04-24Ajout de la partie extraction, passage du spellermohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8200 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24Fourier,...mayero
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8199 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-23Ajout de Fielddelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8198 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-23Ajout d'une ref pour Fielddelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8197 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-23Ajout de Fielddelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8196 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-23Added the option -exec xxdate.exe to hevea for the current date while ↵coq
producing Library doc git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8195 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-19Changement de Zarith en ZArithmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8194 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-19Ajoute Library.html a all-htmlmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8193 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-19Changement de Zarith en ZArithmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8192 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-19abandon de autonconf au profit de variables d'environnementfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8191 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-19Mise a jour credits V7mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8190 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-12Intros Pattern wildcardmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8189 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-11documentation automatique de la biblio standardfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8188 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-10mise � jour options extractionfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8187 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-10Suppression des references a Match/Casemohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8186 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-10cicmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8185 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-10typoherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8184 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-10MAJ Record; let inherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8183 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-10MAJ decomposeherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8182 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-09MAJ des 'Save (thm_tok)? id' and coherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8181 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-09mise a jour pour la formationbarras-local
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8180 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-09mise a jour des exemples Coqbarras-local
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8179 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-09Mise a jour V7courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8178 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-09\usepackage{url}filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8177 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-09Ajout syntaxe et regles let-inherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8176 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-09mise � jourfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8175 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-09mise � jour V7; biblio Correctnessfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8174 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-09Mise a jour du chapitre librarymohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8173 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-08Revision Tauto, AutoRewrite + Ajout de Ltacdelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8172 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-06mise a jour V7filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8171 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-06debug majletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8170 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-06mise a jour V7filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8169 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-06mise � jour V7filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8168 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-06mise a jour V7filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8167 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-06V7mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8166 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-06Mise a jour V7mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8165 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-06Mise en conformite avec la V7mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8164 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-05ajout chapitre langage de tactiques; suppression chapitre obsoletesfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8163 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-03mise a jour V7 de la commande Extraction, et des options de coqtop et coqcfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8162 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-01-17Les projets de syntaxeherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8161 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-27Am�liorationsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8160 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-26MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8159 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-25Langage de tactiques, AutoRewrite, Tauto-Intuition + autres modifsdelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8158 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-22MAJ apr�s lecture par Christine; r��criture de la section 'Names'herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8157 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-22Correctionsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8156 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-21MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8155 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-21Version lisibleherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8154 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-18MAJ Searchherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8153 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-16Ajout \qualid et \moduleherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8152 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-16RefMan-oth.tex subit d�sormais coq-texherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8151 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 15:15:00 +0000