aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Reals/Reals.v
Commit message (Expand)AuthorAge
* Updating headers.Gravatar herbelin2012-08-08
* First release of Vector library.Gravatar pboutill2010-12-10
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Mise en forme des theoriesGravatar notin2006-10-17
* Nouvelle en-têteGravatar herbelin2004-07-16
* Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...Gravatar herbelin2003-11-29
* Documentation du contenu de REALSGravatar desmettr2003-01-22
* Renommage de RealsB en RbaseGravatar desmettr2003-01-16
* Réorganisation de la librairie des réelsGravatar desmettr2002-11-27
* MAJGravatar desmettr2002-11-26
* MAJ pour NewtonIntGravatar desmettr2002-10-14
* *** empty log message ***Gravatar desmettr2002-10-02
* MAJ pour RtopologyGravatar desmettr2002-09-25
* MAJ pour TAFGravatar desmettr2002-07-31
* MAJ RealsGravatar desmettr2002-07-16
* Ajout de BinomeGravatar desmettr2002-07-01
* Integration de Rcomplet et Alembert_complGravatar desmettr2002-06-25
* Exportation de SplitRmult et SplitAbsoluGravatar delahaye2002-03-19
* *** empty log message ***Gravatar desmettr2001-12-05
* *** empty log message ***Gravatar desmettr2001-12-03
* *** empty log message ***Gravatar desmettr2001-11-30
* *** empty log message ***Gravatar desmettr2001-11-30
* *** empty log message ***Gravatar desmettr2001-11-30
* Modification de Reals pour integrer les modificationsGravatar desmettr2001-11-30
* Ajout de Rseries et Rtrigo_funGravatar mayero2001-04-24
* Mise de (*i autour CVS infoGravatar mohring2001-04-19
* entetesGravatar filliatr2001-03-15
* Ajout d'une syntaxe pour Reals.Gravatar mayero2000-11-23
* theories/RealsGravatar filliatr2000-06-21