aboutsummaryrefslogtreecommitdiff
path: root/doc/RefMan-tac.tex
AgeCommit message (Expand)Author
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
2004-12-05Documentation v8 de 'set (id:=t) in ...'herbelin
2004-11-10Am�lioration doc bases de Hintsherbelin
2004-11-10Typos et orthographeherbelin
2004-09-03Oublisherbelin
2004-04-06clausesbarras
2004-04-06clausesbarras
2004-03-24MAJ passage coqart a la nouvelle syntaxe de autorewrite et hint rewriteherbelin
2004-03-19Hint Rewrite, ancienne syntaxeherbelin
2004-03-17MAJ autorewrite/Hint Rewriteherbelin
2004-03-10Ajout stepl et steprherbelin
2004-03-01Ajout 'replace in'herbelin
2004-02-06Modification of the documentation of functional induction/Scheme.coq
2004-01-14ajout d'une passe de latex our avoir un index correctbarras
2004-01-06Erreurs de derniere minutecorbinea
2004-01-05Nouvelle relectureherbelin
2004-01-05correction bugs commit precedent et mise en forme htmlcoq
2003-12-30modif generales claudecoq
2003-12-24*** empty log message ***barras
2003-12-23Ajout intro-pattern des inductifs unaireherbelin
2003-12-23*** empty log message ***barras
2003-12-21Ajout symmetry in; NArithRing; Hint Local; MAJ V8; typosherbelin
2003-12-20Typoherbelin
2003-12-19Correction de la grammaire des intro-patternsherbelin
2003-12-19Documentation 'inversion as'herbelin
2003-12-19*** empty log message ***barras
2003-12-19*** empty log message ***barras
2003-12-19Petits changements dans la doc de functional scheme et functional induction.coq
2003-12-19COQBIN plus necessaire, typosmarche
2003-12-19passe sur les labels et les refs dans chapitres tactiquesfilliatr
2003-12-18premiere passe V8filliatr
2003-12-18encore un peu de tactiques...filliatr
2003-12-17encore un peu de tactiques...filliatr
2003-12-17MAJ induction/destruct/simplherbelin
2003-12-16tactiquesfilliatr
2003-12-12typomarche
2003-12-02relecture JCFfilliatr
2003-12-02added Firstordre and Congruencecorbinea
2003-11-23Label redondantherbelin
2003-10-30Added a tactic entry for Jprover + commented out inputenc in the main filecorbinea
2003-10-27MAJ Double Inductive vis a vis de la V7.4herbelin
2003-09-25passage V8filliatr
2003-06-21Added the documentation on Functional Scheme (a command, I also putcourtieu
2003-05-20Ajout 'in (Type of ...)'herbelin
2003-03-21MAJ Simpl et Changeherbelin
2002-09-16Correction typo d'un but Tautoherbelin
2002-09-16documentation variante Subst (sans argument)filliatr
2002-09-12Substfilliatr
2002-09-09MAJ syntaxe 'Hint Rewrite'herbelin
2002-05-16MAJ V7.3herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 15:17:33 +0000