aboutsummaryrefslogtreecommitdiff
path: root/doc/RefMan-gal.tex
AgeCommit message (Expand)Author
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
2004-04-06*** empty log message ***barras
2004-04-02Bug {\ifitem}herbelin
2004-03-17Quelques erreursherbelin
2004-01-14ajout d'une passe de latex our avoir un index correctbarras
2004-01-06MAJherbelin
2004-01-05Typos/coq-tex/diversherbelin
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-21Ajout Conjectureherbelin
2003-12-19*** empty log message ***barras
2003-12-19*** empty log message ***barras
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-01version et stylemarche
2003-11-23Renommageherbelin
2003-09-25passage V8filliatr
2003-02-13MAJ Remark/Factherbelin
2001-10-17Corrections diversesherbelin
2001-09-26Diversherbelin
2001-09-25MAJ Opaque/Transparent, Qed/Definedherbelin
2001-09-25Orthographeherbelin
2001-09-24Mise en place avertissements pour rep�rer les erreurs volontaires de coq-texherbelin
2001-09-24MAJs Remark/Factherbelin
2001-09-24Updatesherbelin
2001-09-21Diverses MAJ V7.1 autour des qualidherbelin
2001-04-25Pending ref's correctedcoq
2001-04-10typoherbelin
2001-04-09Ajout syntaxe et regles let-inherbelin
2001-04-06mise a jour V7filliatr
2000-12-12Initial revisionfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 17:48:25 +0000