aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* r8708@thot: notin | 2006-03-24 18:55:01 +0100Gravatar notin2006-03-25
* r8637@thot: notin | 2006-03-14 16:00:49 +0100Gravatar notin2006-03-14
* MAJGravatar herbelin2006-03-10
* Ajout Tutorial on recursive typesGravatar herbelin2006-03-10
* Suppression de la coupure entre base et addendum (quitte à le remettre si de...Gravatar herbelin2006-03-03
* Inutile en svnGravatar herbelin2006-03-03
* TypoGravatar herbelin2006-03-03
* Modification des propriétés des fichiers .tex (svn:executable)Gravatar notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty2006-02-24
* Uniformisation noms Library*.texGravatar herbelin2006-02-23
* Mise à jour des Makefile, ajout licences, corrections mineures suite àGravatar herbelin2006-02-23
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23
* Ajout licence open publication � la doc (sous r�serve OK pour tutorial)Gravatar herbelin2006-01-27
* Pourquoi math goal parfois interditGravatar herbelin2005-10-14
* plus de http://www.lri.fr/~letouzey/extractionGravatar letouzey2005-07-06
* Updated new names of Local into LetGravatar herbelin2005-05-20
* suite commit pr�c�dentGravatar herbelin2005-05-05
* Copyright 2005Gravatar herbelin2005-05-05
* Correction du bug de contraintes d'univers dans exType (mentionn� par Georg...Gravatar herbelin2005-05-05
* Ajout r�f�rence LuoGravatar herbelin2005-03-07
* Ajout r�f�rences Alexandre MiquelGravatar herbelin2005-03-07
* Suppression cible all-ps-docs; ajout www/index.htmlGravatar herbelin2005-01-25
* Correction sur signification induction doubleGravatar herbelin2004-12-05
* Documentation v8 de 'set (id:=t) in ...'Gravatar herbelin2004-12-05
* Ajout section sur lieursGravatar herbelin2004-11-17
* Am�lioration doc bases de HintsGravatar herbelin2004-11-10
* Typos et orthographeGravatar herbelin2004-11-10
* Documentation 'Focus num'Gravatar herbelin2004-10-15
* Ajout pr�vention �chec en pr�sence de sous-typageGravatar herbelin2004-10-11
* question pierre corrigeGravatar narboux2004-10-08
* 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