aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/Polynom.tex
Commit message (Expand)AuthorAge
* Fix some typos.Gravatar Guillaume Melquiond2017-03-22
* Remove spurious "Loading ML file" and "<W> Grammar extension" from the refere...Gravatar Guillaume Melquiond2015-01-29
* Fix some documentation typos.Gravatar Guillaume Melquiond2015-01-06
* Updating documentation of the ring/field tactics.Gravatar amahboub2013-08-23
* Documenting a potential source of incompleteness in the ring tactic,Gravatar amahboub2013-06-17
* Legacy Ring and Legacy Field migrated to contribsGravatar letouzey2012-07-05
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* More precise description of boolean ring in doc (see bug #2401)Gravatar glondu2010-10-11
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
* [ring] constructor for power was missing in the docGravatar barras2008-05-06
* port de r9968: bug avec les ring calculatoiresGravatar barras2007-07-12
* Made some places in the reference manual clearer. CorrectedGravatar emakarov2007-05-11
* Field rewrites only with polynomialGravatar thery2007-02-07
* doc de ring/field + option infinite -> completenessGravatar barras2007-02-07
* doc for fieldGravatar thery2007-02-06
* complement du commit 9591Gravatar bgregoir2007-02-05
* Petite relecture partie ringGravatar herbelin2007-02-01
* report de r9574: doc de fieldGravatar barras2007-01-31
* doc de ringGravatar bgregoir2007-01-24
* typo doc + bug legacy fieldGravatar barras2006-10-16
* Correction bug #1236Gravatar notin2006-10-04
* separation de RealFieldGravatar barras2006-09-28
* doc du nouveau ringGravatar barras2006-09-22
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23