aboutsummaryrefslogtreecommitdiff
path: root/doc/refman/biblio.bib
AgeCommit message (Expand)Author
2011-12-22Credits for 8.4 + resetting COMPATIBILITY file.herbelin
2010-06-25modifs de nsatz suggerees par Hugopottier
2009-01-18Backporting from v8.2 to trunk:herbelin
2008-07-07Micromega: doc + test-suite updatefbesson
2008-04-17Add almost empty Classes.tex for documentation of type classes.msozeau
2008-01-31Debug implementation of dependent induction/dependent destruction and documen...msozeau
2007-07-19Documentation of Program and its tactics, fix enormous interaction bug due to...msozeau
2007-07-05documentation of f_equal and revert and case_eq (and s/lri.fr/pps.jussieu.fr/...letouzey
2007-04-12Standardisation format biblioherbelin
2006-08-28Ajout thèse Cornesherbelin
2006-08-24MAJ biblioherbelin
2006-07-28MAJ de la biblio du manuel de référencenotin
2006-06-01Update Program/subtac documentation.msozeau
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-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 15:58:55 +0000