aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-03-02Documentation de 'Tactic Notation'herbelin
2004-03-01Ajout 'replace in'herbelin
2004-02-24doc coqdocfilliatr
2004-02-23petits bug dans chapitre des modulesbarras
2004-02-23Typos et passage v7->v8herbelin
2004-02-12MAJ cas special du motif '{ x }'herbelin
2004-02-06Modification of the documentation of functional induction/Scheme.coq
2004-01-29Suppression de 'Print.' en v8herbelin
2004-01-22Ajout option -xmlherbelin
2004-01-22Ajout coercions dans les constructeurs et les declarationsherbelin
2004-01-14ajout d'une passe de latex our avoir un index correctbarras
2004-01-14unicode dans coqidemarche
2004-01-07bugs, mise en page, complementsherbelin
2004-01-07Bugherbelin
2004-01-07Une solution au probl�me d'espacement apr�s _ dans les titresherbelin
2004-01-07plus derreur hevea/hachacoq
2004-01-06page moins hautemohring
2004-01-06doc avec framesmohring
2004-01-06addendum comme part5, htmlsplit -> hachamohring
2004-01-06*** empty log message ***mohring
2004-01-06Erreurs de derniere minutecorbinea
2004-01-06*** empty log message ***mohring
2004-01-06mise de copyright seulement latexmohring
2004-01-062003-2004mohring
2004-01-06TYPESmohring
2004-01-06*** empty log message ***mohring
2004-01-06MAJherbelin
2004-01-05Typos/coq-tex/diversherbelin
2004-01-05Nouvelle relectureherbelin
2004-01-05MAJ pour compilation coq-tex correcteherbelin
2004-01-05correction bugs commit precedent et mise en forme htmlcoq
2003-12-30modif generales claudecoq
2003-12-28MAJherbelin
2003-12-28Completionherbelin
2003-12-28Ajout ref Aboutherbelin
2003-12-24*** empty log message ***barras
2003-12-24*** empty log message ***barras
2003-12-24*** empty log message ***barras
2003-12-24Aspect mathematique de Coqherbelin
2003-12-23MAJherbelin
2003-12-23Qques avancees sur la doc des scopesherbelin
2003-12-23Ajout intro-pattern des inductifs unaireherbelin
2003-12-23*** empty log message ***barras
2003-12-23*** empty log message ***barras
2003-12-22MAJ Reset Initialherbelin
2003-12-22Amendements apres lecture Brunoherbelin
2003-12-21Ajout projections; reparation script coqherbelin
2003-12-21Ajout Conjectureherbelin
2003-12-21Ajout Admittedherbelin
2003-12-21Ajout symmetry in; NArithRing; Hint Local; MAJ V8; typosherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 19:58:21 +0000