aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/RefMan-lib.tex
Commit message (Expand)AuthorAge
* Remove spurious "Loading ML file" and "<W> Grammar extension" from the refere...Gravatar Guillaume Melquiond2015-01-29
* refman: switch all source files to utf8Gravatar Pierre Letouzey2014-12-09
* "allows to", like "allowing to", is improperGravatar Jason Gross2014-08-25
* Manual fixed w.r.t. STMGravatar gareuselesinge2013-08-08
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* Bug 2589: Documentation patch of Hendrik TewsGravatar pboutill2011-09-02
* Move stuff about positive into a distinct PArith subdirGravatar letouzey2010-11-02
* Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction".Gravatar herbelin2010-06-08
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Correction du bug #2214 + maj liens webGravatar notin2010-02-26
* - Fixed various Overfull in documentation.Gravatar herbelin2009-01-27
* Backporting from v8.2 to trunk:Gravatar herbelin2009-01-18
* - Fixed bug #2021 (uncaught exception with injection/discriminate whenGravatar herbelin2009-01-01
* migration of the old IntMap library from StdLib to a user contrib (Cachan/Int...Gravatar letouzey2008-03-19
* Standardisation du format des références croisées vers Figure, Section, Ch...Gravatar herbelin2008-01-05
* Corrected a LaTeX typo.Gravatar emakarov2007-04-17
* Changed many refman/*.tex files. Put \label and \index commands that immediat...Gravatar emakarov2007-04-17
* MAJ nouvelles théoriesGravatar herbelin2006-10-28
* Ajout StringGravatar herbelin2006-10-04
* 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