aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
2006-01-27Ajout licence open publication � la doc (sous r�serve OK pour tutorial)herbelin
2005-10-14Pourquoi math goal parfois interditherbelin
2005-07-06plus de http://www.lri.fr/~letouzey/extractionletouzey
2005-05-20Updated new names of Local into Letherbelin
2005-05-05suite commit pr�c�dentherbelin
2005-05-05Copyright 2005herbelin
2005-05-05Correction du bug de contraintes d'univers dans exType (mentionn� par Georg...herbelin
2005-03-07Ajout r�f�rence Luoherbelin
2005-03-07Ajout r�f�rences Alexandre Miquelherbelin
2005-01-25Suppression cible all-ps-docs; ajout www/index.htmlherbelin
2004-12-05Correction sur signification induction doubleherbelin
2004-12-05Documentation v8 de 'set (id:=t) in ...'herbelin
2004-11-17Ajout section sur lieursherbelin
2004-11-10Am�lioration doc bases de Hintsherbelin
2004-11-10Typos et orthographeherbelin
2004-10-15Documentation 'Focus num'herbelin
2004-10-11Ajout pr�vention �chec en pr�sence de sous-typageherbelin
2004-10-08question pierre corrigenarboux
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 05:20:04 +0000