aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* MAJ, divers + section axiomesGravatar herbelin2004-04-30
* une question de plusGravatar narboux2004-04-30
* Suppression d'une redondanceGravatar herbelin2004-04-30
* Forme export�e pour hevea de axioms.figGravatar herbelin2004-04-30
* Forme export�e pour latex de axioms.figGravatar herbelin2004-04-30
* Ajout source figure classification des axiomesGravatar herbelin2004-04-30
* heveaifieGravatar narboux2004-04-30
* proof irreGravatar narboux2004-04-30
* coloration okGravatar narboux2004-04-30
* les accents sont okGravatar narboux2004-04-30
* maj de la faq + exemplesGravatar narboux2004-04-30
* merge faq hugoGravatar narboux2004-04-29
* fote dortografeGravatar narboux2004-04-29
* nettoyageGravatar narboux2004-04-29
* reorganisation des questionsGravatar narboux2004-04-29
* MAJ V8Gravatar herbelin2004-04-28
* maj faqGravatar narboux2004-04-28
* Ajout Set Printing Depth et Set Printing WidthGravatar herbelin2004-04-26
* +2ansGravatar kirchner2004-04-21
* CopyrightGravatar herbelin2004-04-17
* Typos, ajout Set Printing AllGravatar herbelin2004-04-17
* In�l�gance de notation du matchGravatar herbelin2004-04-15
* MAJ dateGravatar herbelin2004-04-15
* Ajout documentation exportation XMLGravatar herbelin2004-04-15
* Ajout doc notation avec motifs recursifsGravatar herbelin2004-04-13
* *** empty log message ***Gravatar narboux2004-04-09
* clausesGravatar barras2004-04-06
* *** empty log message ***Gravatar barras2004-04-06
* clausesGravatar barras2004-04-06
* *** empty log message ***Gravatar narboux2004-04-06
* merge fa coqideGravatar narboux2004-04-05
* *** empty log message ***Gravatar narboux2004-04-05
* *** empty log message ***Gravatar narboux2004-04-05
* *** empty log message ***Gravatar narboux2004-04-05
* MAJ : on laisse tomber la classe faqGravatar kirchner2004-04-05
* *** empty log message ***Gravatar kirchner2004-04-05
* *** empty log message ***Gravatar narboux2004-04-05
* *** empty log message ***Gravatar narboux2004-04-05
* Amelioration explication syntaxe let et ifGravatar herbelin2004-04-02
* Bug {\ifitem}Gravatar herbelin2004-04-02
* *** empty log message ***Gravatar narboux2004-04-02
* *** empty log message ***Gravatar narboux2004-04-02
* *** empty log message ***Gravatar narboux2004-04-02
* *** empty log message ***Gravatar narboux2004-04-01
* *** empty log message ***Gravatar narboux2004-04-01
* *** empty log message ***Gravatar narboux2004-04-01
* *** empty log message ***Gravatar kirchner2004-03-29
* *** empty log message ***Gravatar narboux2004-03-29
* *** empty log message ***Gravatar narboux2004-03-29
* *** empty log message ***Gravatar kirchner2004-03-29