aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2006-04-27Added a short doc for "Function". To be finished.courtieu
2006-04-14Enleve les commentairescpaulin
2006-04-13MAJ 8.1-APPherbelin
2006-04-13MAJ 8.1-APPherbelin
2006-04-12Changement de licence pour le Tutoriel de Coqnotin
2006-04-07- Documentation of the Program tactics.msozeau
2006-04-05MAJ Licence FAQherbelin
2006-04-04Bug index addendum à cause mauvaise utilisation asection dans Helm.texherbelin
2006-03-31Petite actualisation FAQherbelin
2006-03-28- correction d'un bug dans coqdoc (multi_index)notin
2006-03-25 r8709@thot: notin | 2006-03-25 01:48:46 +0100notin
2006-03-25 r8708@thot: notin | 2006-03-24 18:55:01 +0100notin
2006-03-14 r8637@thot: notin | 2006-03-14 16:00:49 +0100notin
2006-03-10MAJherbelin
2006-03-10Ajout Tutorial on recursive typesherbelin
2006-03-03Suppression de la coupure entre base et addendum (quitte à le remettre si de...herbelin
2006-03-03Inutile en svnherbelin
2006-03-03Typoherbelin
2006-02-24Modification des propriétés des fichiers .tex (svn:executable)notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty
2006-02-23Uniformisation noms Library*.texherbelin
2006-02-23Mise à jour des Makefile, ajout licences, corrections mineures suite àherbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 03:29:59 +0000