aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2004-10-07ajout question Pierrenarboux
2004-10-04minor ~ correction in coq'art urlkirchner
2004-09-03Oublisherbelin
2004-09-03MAJherbelin
2004-08-03Probl�mes hevea + question evarsherbelin
2004-08-03Finalisation avant publicationherbelin
2004-08-03bibtex et heveaherbelin
2004-08-03Pr�nomsherbelin
2004-06-27Il faut 2 fois latex apr�s l'index (cf bug #793)herbelin
2004-06-02Ajout RefMan 7.2herbelin
2004-05-19ajout question implicitnarboux
2004-05-12typo jcnarboux
2004-05-12MAJ bibtex Coq'Artkirchner
2004-05-07Petits affinementsherbelin
2004-05-06Ajout �tudes de casherbelin
2004-05-06Ajout exemple extraction d'infos de l'�galit� de 2 ensemblesherbelin
2004-05-05MAJ diversesherbelin
2004-05-03deux questionsnarboux
2004-05-03un ptit coup de ispellkirchner
2004-04-30MAJ, divers + section axiomesherbelin
2004-04-30une question de plusnarboux
2004-04-30Suppression d'une redondanceherbelin
2004-04-30Forme export�e pour hevea de axioms.figherbelin
2004-04-30Forme export�e pour latex de axioms.figherbelin
2004-04-30Ajout source figure classification des axiomesherbelin
2004-04-30heveaifienarboux
2004-04-30proof irrenarboux
2004-04-30coloration oknarboux
2004-04-30les accents sont oknarboux
2004-04-30maj de la faq + exemplesnarboux
2004-04-29merge faq hugonarboux
2004-04-29fote dortografenarboux
2004-04-29nettoyagenarboux
2004-04-29reorganisation des questionsnarboux
2004-04-28MAJ V8herbelin
2004-04-28maj faqnarboux
2004-04-26Ajout Set Printing Depth et Set Printing Widthherbelin
2004-04-21+2anskirchner
2004-04-17Copyrightherbelin
2004-04-17Typos, ajout Set Printing Allherbelin
2004-04-15In�l�gance de notation du matchherbelin
2004-04-15MAJ dateherbelin
2004-04-15Ajout documentation exportation XMLherbelin
2004-04-13Ajout doc notation avec motifs recursifsherbelin
2004-04-09*** empty log message ***narboux
2004-04-06clausesbarras
2004-04-06*** empty log message ***barras
2004-04-06clausesbarras
2004-04-06*** empty log message ***narboux
2004-04-05merge fa coqidenarboux
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 05:36:40 +0000