aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/Coercion.tex
Commit message (Expand)AuthorAge
* Improving rendering of ldots in doc (partially done, there are tooGravatar herbelin2012-08-11
* Documentation of Set Automatic Coercions Import.Gravatar herbelin2010-07-25
* Applying François' patches about Canonical Projections (see #2302 and #2334).Gravatar herbelin2010-06-26
* Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction".Gravatar herbelin2010-06-08
* - Standardized prefix use of "Local"/"Global" modifiers as decided inGravatar herbelin2009-01-13
* Standardisation du format des références croisées vers Figure, Section, Ch...Gravatar herbelin2008-01-05
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23