aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2003-12-21Ajout symmetry in; NArithRing; Hint Local; MAJ V8; typosherbelin
2003-12-21mise a jour Casesmohring
2003-12-21*** empty log message ***mohring
2003-12-21*** empty log message ***mohring
2003-12-21*** empty log message ***mohring
2003-12-20Typoherbelin
2003-12-20MAJherbelin
2003-12-20relecture v8herbelin
2003-12-19MAJ ltac, INSTALL, typosherbelin
2003-12-19mise a jour V8mohring
2003-12-19Typosherbelin
2003-12-19Correction de la grammaire des intro-patternsherbelin
2003-12-19Documentation 'inversion as'herbelin
2003-12-19*** empty log message ***barras
2003-12-19des %N inutiles et les messages d'erreurs n'aparaissent plus dans la docbarras
2003-12-19deplacement du chap sur ltacbarras
2003-12-19*** empty log message ***barras
2003-12-19v8/CICmohring
2003-12-19Mise a jour V8mohring
2003-12-19Petits changements dans la doc de functional scheme et functional induction.coq
2003-12-19COQBIN plus necessaire, typosmarche
2003-12-19oupsfilliatr
2003-12-19majfilliatr
2003-12-19passe sur les labels et les refs dans chapitres tactiquesfilliatr
2003-12-18mise a jour CICmohring
2003-12-18*** empty log message ***barras
2003-12-18doc proof withnarboux
2003-12-18avancementclrenard
2003-12-18maj V8filliatr
2003-12-18premiere passe V8filliatr
2003-12-18encore un peu de tactiques...filliatr
2003-12-17encore un peu de tactiques...filliatr
2003-12-17doc de ltac faitebarras
2003-12-17MAJ induction/destruct/simplherbelin
2003-12-16coqide menus on golasmarche
2003-12-16tactiquesfilliatr
2003-12-16tactiquesfilliatr
2003-12-16maj Omegafilliatr
2003-12-15typographiemarche
2003-12-15Relecture v8clrenard
2003-12-15doc du traducteur + premiere mise a jour du refmanbarras
2003-12-14debut de mise a jour CICmohring
2003-12-14*** empty log message ***mohring
2003-12-14Ajout these Brunomohring
2003-12-14*** empty log message ***mohring
2003-12-14*** empty log message ***mohring
2003-12-14Mise a jour intromohring
2003-12-14Changer le copyright INRIA 2002--> 2003mohring
2003-12-14Ajout Pcoq et Proof Generalmohring
2003-12-12subtree nomarche
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 19:21:05 +0000