aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* ajout question PierreGravatar narboux2004-10-07
* minor ~ correction in coq'art urlGravatar kirchner2004-10-04
* OublisGravatar herbelin2004-09-03
* MAJGravatar herbelin2004-09-03
* Probl�mes hevea + question evarsGravatar herbelin2004-08-03
* Finalisation avant publicationGravatar herbelin2004-08-03
* bibtex et heveaGravatar herbelin2004-08-03
* Pr�nomsGravatar herbelin2004-08-03
* Il faut 2 fois latex apr�s l'index (cf bug #793)Gravatar herbelin2004-06-27
* Ajout RefMan 7.2Gravatar herbelin2004-06-02
* ajout question implicitGravatar narboux2004-05-19
* typo jcGravatar narboux2004-05-12
* MAJ bibtex Coq'ArtGravatar kirchner2004-05-12
* Petits affinementsGravatar herbelin2004-05-07
* Ajout �tudes de casGravatar herbelin2004-05-06
* Ajout exemple extraction d'infos de l'�galit� de 2 ensemblesGravatar herbelin2004-05-06
* MAJ diversesGravatar herbelin2004-05-05
* deux questionsGravatar narboux2004-05-03
* un ptit coup de ispellGravatar kirchner2004-05-03
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-20 20:23:02 +0000