aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/RefMan-coi.tex
Commit message (Expand)AuthorAge
* refman: switch all source 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
* Uniformisation in the documentation: remove the use of 'coinductive' inGravatar aspiwack2012-04-13
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Standardisation du format des références croisées vers Figure, Section, Ch...Gravatar herbelin2008-01-05
* Changed many refman/*.tex files. Put \label and \index commands that immediat...Gravatar emakarov2007-04-17
* 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