aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/biblio.bib
Commit message (Expand)AuthorAge
* update Proof General URLGravatar Paul Steckler2016-08-23
* RefMan, ch. 4: Rephrasing and moving paragraph on the double readingGravatar Hugo Herbelin2015-12-10
* RefMan, ch. 4: Reformulating introduction of the chapter on CIC, beingGravatar Hugo Herbelin2015-12-10
* Document native_compute.Gravatar Maxime Dénès2015-01-08
* refman: switch all source files to utf8Gravatar Pierre Letouzey2014-12-09
* First stab at documenting Canonical StructuresGravatar Enrico Tassi2013-11-29
* Start documenting new [rewrite_strat] tactic that applies rewritingGravatar msozeau2013-06-04
* Credits for 8.4 + resetting COMPATIBILITY file.Gravatar herbelin2011-12-22
* 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-06-23 19:19:33 +0000