aboutsummaryrefslogtreecommitdiff
path: root/doc/RefMan-gal.tex
AgeCommit message (Expand)Author
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-04-19 00:35:18 +0000