aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/biblio.bib
Commit message (Expand)AuthorAge
* modifs de nsatz suggerees par HugoGravatar pottier2010-06-25
* Backporting from v8.2 to trunk:Gravatar herbelin2009-01-18
* Micromega: doc + test-suite updateGravatar fbesson2008-07-07
* Add almost empty Classes.tex for documentation of type classes.Gravatar msozeau2008-04-17
* Debug implementation of dependent induction/dependent destruction and documen...Gravatar msozeau2008-01-31
* Documentation of Program and its tactics, fix enormous interaction bug due to...Gravatar msozeau2007-07-19
* documentation of f_equal and revert and case_eq (and s/lri.fr/pps.jussieu.fr/...Gravatar letouzey2007-07-05
* Standardisation format biblioGravatar herbelin2007-04-12
* Ajout thèse CornesGravatar herbelin2006-08-28
* MAJ biblioGravatar herbelin2006-08-24
* MAJ de la biblio du manuel de référenceGravatar notin2006-07-28
* Update Program/subtac documentation.Gravatar msozeau2006-06-01
* Modification des propriétés des fichiers .tex (svn:executable)Gravatar notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty2006-02-24
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 04:12:07 +0000