aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)Author
2004-03-03Correctif Tactic Notationherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8487 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-03-02Documentation de 'Tactic Notation'herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8486 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-03-01Ajout 'replace in'herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8485 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-02-23petits bug dans chapitre des modulesbarras
liens vers proofgeneral git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8483 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-02-23Typos et passage v7->v8herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8482 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-02-12MAJ cas special du motif '{ x }'herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8481 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-02-06Modification of the documentation of functional induction/Scheme.coq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8480 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-29Suppression de 'Print.' en v8herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8479 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-22Ajout option -xmlherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8478 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-22Ajout coercions dans les constructeurs et les declarationsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8477 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-14unicode dans coqidemarche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8475 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-07bugs, mise en page, complementsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8474 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-07Bugherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8473 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-07Une solution au probl�me d'espacement apr�s _ dans les titresherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8472 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-07plus derreur hevea/hachacoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8471 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-06page moins hautemohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8470 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-06Erreurs de derniere minutecorbinea
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8466 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-06*** empty log message ***mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8465 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-06mise de copyright seulement latexmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8464 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-062003-2004mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8463 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-06TYPESmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8462 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-06*** empty log message ***mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8461 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-06MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8460 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-05Typos/coq-tex/diversherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8459 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-05Nouvelle relectureherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8458 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-05MAJ pour compilation coq-tex correcteherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8457 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-28MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8454 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-28Completionherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8453 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-28Ajout ref Aboutherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8452 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-24*** empty log message ***barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8451 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-24*** empty log message ***barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8450 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-24*** empty log message ***barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8449 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-24Aspect mathematique de Coqherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8448 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-23MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8447 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-23Qques avancees sur la doc des scopesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8446 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-23Ajout intro-pattern des inductifs unaireherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8445 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-23*** empty log message ***barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8444 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-23*** empty log message ***barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8443 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-22MAJ Reset Initialherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8442 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-22Amendements apres lecture Brunoherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8441 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-21Ajout projections; reparation script coqherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8440 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-21Ajout Conjectureherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8439 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-21Ajout Admittedherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8438 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 18:35:18 +0000