aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Collapse)AuthorAge
* *** empty log message ***Gravatar kirchner2004-03-29
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8522 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar narboux2004-03-29
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8521 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar narboux2004-03-29
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8520 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar kirchner2004-03-29
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8519 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar narboux2004-03-29
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8518 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar narboux2004-03-27
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8517 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar narboux2004-03-27
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8516 85f007b7-540e-0410-9357-904b9bb8a0f7
* ajout macrosGravatar narboux2004-03-27
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8515 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar narboux2004-03-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8514 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar kirchner2004-03-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8513 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar narboux2004-03-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8512 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar narboux2004-03-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8511 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar narboux2004-03-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8510 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar narboux2004-03-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8509 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar kirchner2004-03-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8508 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar kirchner2004-03-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8507 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar narboux2004-03-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8506 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar narboux2004-03-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8505 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar kirchner2004-03-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8504 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar narboux2004-03-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8503 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ passage coqart a la nouvelle syntaxe de autorewrite et hint rewriteGravatar herbelin2004-03-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8502 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar narboux2004-03-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8501 85f007b7-540e-0410-9357-904b9bb8a0f7
* Hint Rewrite, ancienne syntaxeGravatar herbelin2004-03-19
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8500 85f007b7-540e-0410-9357-904b9bb8a0f7
* Quelques erreursGravatar herbelin2004-03-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8499 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ autorewrite/Hint RewriteGravatar herbelin2004-03-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8498 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout %boolGravatar herbelin2004-03-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8497 85f007b7-540e-0410-9357-904b9bb8a0f7
* maj biblio faqGravatar narboux2004-03-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8496 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar narboux2004-03-16
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8495 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar kirchner2004-03-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8494 85f007b7-540e-0410-9357-904b9bb8a0f7
* on vire core.texGravatar kirchner2004-03-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8493 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar narboux2004-03-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8492 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar kirchner2004-03-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8491 85f007b7-540e-0410-9357-904b9bb8a0f7
* ajout d'un embryon de faqGravatar kirchner2004-03-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8490 85f007b7-540e-0410-9357-904b9bb8a0f7
* conformite V8Gravatar mohring2004-03-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8489 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout stepl et steprGravatar herbelin2004-03-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8488 85f007b7-540e-0410-9357-904b9bb8a0f7
* Correctif Tactic NotationGravatar herbelin2004-03-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8487 85f007b7-540e-0410-9357-904b9bb8a0f7
* Documentation de 'Tactic Notation'Gravatar herbelin2004-03-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8486 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout 'replace in'Gravatar herbelin2004-03-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8485 85f007b7-540e-0410-9357-904b9bb8a0f7
* doc coqdocGravatar filliatr2004-02-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8484 85f007b7-540e-0410-9357-904b9bb8a0f7
* petits bug dans chapitre des modulesGravatar barras2004-02-23
| | | | | | | liens vers proofgeneral git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8483 85f007b7-540e-0410-9357-904b9bb8a0f7
* Typos et passage v7->v8Gravatar herbelin2004-02-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8482 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ cas special du motif '{ x }'Gravatar herbelin2004-02-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8481 85f007b7-540e-0410-9357-904b9bb8a0f7
* Modification of the documentation of functional induction/Scheme.Gravatar coq2004-02-06
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8480 85f007b7-540e-0410-9357-904b9bb8a0f7
* Suppression de 'Print.' en v8Gravatar herbelin2004-01-29
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8479 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout option -xmlGravatar herbelin2004-01-22
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8478 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout coercions dans les constructeurs et les declarationsGravatar herbelin2004-01-22
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8477 85f007b7-540e-0410-9357-904b9bb8a0f7
* ajout d'une passe de latex our avoir un index correctGravatar barras2004-01-14
| | | | | | | + quelques petites retouches sur la doc git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8476 85f007b7-540e-0410-9357-904b9bb8a0f7
* unicode dans coqideGravatar marche2004-01-14
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8475 85f007b7-540e-0410-9357-904b9bb8a0f7
* bugs, mise en page, complementsGravatar herbelin2004-01-07
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8474 85f007b7-540e-0410-9357-904b9bb8a0f7
* BugGravatar herbelin2004-01-07
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8473 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-29 00:08:44 +0000