aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/RecTutorial
Commit message (Expand)AuthorAge
* More consistent writing of de Bruijn.Gravatar Théo Zimmermann2017-05-01
* Switch the few remaining iso-latin-1 files to utf8Gravatar Pierre Letouzey2014-12-09
* "allows to", like "allowing to", is improperGravatar Jason Gross2014-08-25
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* mainbiblio.bib : get rid of merge marker from failed mergeGravatar letouzey2011-10-09
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Solves some warning and hides some not-bad ones in doc. It remains aGravatar herbelin2009-01-29
* - Fixed various Overfull in documentation.Gravatar herbelin2009-01-27
* Backporting from v8.2 to trunk:Gravatar herbelin2009-01-18
* Mise à jour des fichiers README et INSTALL de la doc (bug #1921) + suppressi...Gravatar notin2008-08-06
* MAJ JMeq sur Type + typos (sur propositions de Pierre Castéran)Gravatar herbelin2006-08-24
* MAJ Rectutorial (P. Castéran)Gravatar notin2006-08-16
* Ajout Tutorial on recursive typesGravatar herbelin2006-03-10