aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2006-06-07petites corrections dans la doc de functional xxx. courtieu
2006-06-07Nouveaux Parametres Inductifscpaulin
2006-06-07mise en texttt d'une commande.courtieu
2006-06-07Changements sur Functional xxx. Plus précis et plus exact.courtieu
2006-06-06Ajout de précisions dans la doc de functional scheme et consort +courtieu
2006-06-06Debut modif parametres inductifs CICcpaulin
2006-06-05nouveaux parametrescpaulin
2006-06-01Update Program/subtac documentation.msozeau
2006-05-26Support des modules dans Coqdocnotin
2006-05-17updating Function documentationjforest
2006-05-05doc du *in* de match/withbarras
2006-05-05Correction comportement clause _ du match goalherbelin
2006-05-02Ajout d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ...notin
2006-04-28Continue l'écriture de la doc de "Function". Pas fini, manque:courtieu
2006-04-27Ajout de la doc de l'option -stdout de coqdocnotin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 07:29:10 +0000