aboutsummaryrefslogtreecommitdiff
path: root/doc/RefMan-lib.tex
AgeCommit message (Expand)Author
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
2004-01-14ajout d'une passe de latex our avoir un index correctbarras
2004-01-07Bugherbelin
2004-01-05correction bugs commit precedent et mise en forme htmlcoq
2003-12-30modif generales claudecoq
2003-12-23*** empty log message ***barras
2003-12-23*** empty log message ***barras
2003-12-19*** empty log message ***barras
2003-12-19*** empty log message ***barras
2003-12-19COQBIN plus necessaire, typosmarche
2003-12-19passe sur les labels et les refs dans chapitres tactiquesfilliatr
2003-12-18*** empty log message ***barras
2003-12-16coqide menus on golasmarche
2003-12-15doc du traducteur + premiere mise a jour du refmanbarras
2003-12-10presentation, biblio;marche
2003-09-25passage V8filliatr
2003-02-27Ajout de la reference sur la doc Reals.psdesmettr
2003-01-29MAJ pour Realsdesmettr
2002-09-16MAJ eq_rect, False_rec, False_rectherbelin
2002-08-14Retour de Sorting dans la biblio standardherbelin
2001-12-23Avertissement de la non- gravit� du message d'erreur de parsing de \/ et /\herbelin
2001-09-26Diversherbelin
2001-09-24Mise en place avertissements pour rep�rer les erreurs volontaires de coq-texherbelin
2001-04-24Fourier, Reals,...mayero
2001-04-19Changement de Zarith en ZArithmohring
2001-04-09Mise a jour du chapitre librarymohring
2000-12-12Initial revisionfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 00:45:41 +0000