aboutsummaryrefslogtreecommitdiff
path: root/doc/Reference-Manual.tex
AgeCommit message (Collapse)Author
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
principale de Coq et publication des sources (HH) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8606 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-02-24doc coqdocfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8484 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-14ajout d'une passe de latex our avoir un index correctbarras
+ quelques petites retouches sur la doc git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8476 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-06doc avec framesmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8469 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-06addendum comme part5, htmlsplit -> hachamohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8468 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-06*** empty log message ***mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8467 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-05correction bugs commit precedent et mise en forme htmlcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8456 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-30modif generales claudecoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8455 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-21mise a jour Casesmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8436 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-19deplacement du chap sur ltacbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8422 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-19oupsfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8416 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-19passe sur les labels et les refs dans chapitres tactiquesfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8414 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-18avancementclrenard
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8410 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-17encore un peu de tactiques...filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8406 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-16tactiquesfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8402 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-16tactiquesfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8401 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-16maj Omegafilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8400 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-12N grasmarche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8386 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-11Mis-a-jour modules, ajout de Import et Exportcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8383 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-10presentation, biblio;marche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8381 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-02plus de pb avec referencemanual.shmarche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8375 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-01version et stylemarche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8371 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-24coqidemarche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8369 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-10-30Added a tactic entry for Jprover + commented out inputenc in the main filecorbinea
(no use having both fontenc and inputenc) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8347 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-12-12Stupid mistakecoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8301 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-10-05Doc module, premiere versioncoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8297 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-18problemes avec le rendu html des tabbing dans la doc de Ltacbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8258 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-06-12Ajout de la doc pour la tactique Setoid_replace.clrenard
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8214 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25Ajout de \begin{coq_eval} Reset Initial. \end{coq_eval} pour remettre lescourant
grammaires de Coq dans un etat coherent. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8208 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-09\usepackage{url}filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8177 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-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
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-12Initial revisionfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8143 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-18 03:41:25 +0000