aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)Author
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
2000-12-16Ajout SearchPattern, SearchRewrite, MAJ Searchherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8150 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-16Nouveau nom de l'ancien Changes.texherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8149 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-15diversfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8148 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-15un Reset Initial dans Tutorial.texfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8147 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-15config avec autoconffilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8146 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-12fichier proposition syntaxefilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8145 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-12Initial revisionfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8143 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-03-06Deplacement du répertoire doc dans devnotin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8140 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-02-06Nettoyage et documentation de Libraryherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6692 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-01-21MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6623 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-03-02Tactic Notation et with-namesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5416 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-02-18- fixed the Assert_failure error in kernel/modopsbarras
- fixed the problem with passing atomic tactics to ltacs - restructured the distrib Makefile (can build a package from the CVS working dir) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5358 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-29Suppression de 'Print.' en v8herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5265 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-14 01:52:53 +0000