aboutsummaryrefslogtreecommitdiff
path: root/doc/refman/Polynom.tex
AgeCommit message (Expand)Author
2018-03-30[Sphinx] Move chapter 25 to new infrastructureMaxime Dénès
2017-09-22Avoid generated names for html pages of the reference manual (bug #4742).Guillaume Melquiond
2017-03-22Fix some typos.Guillaume Melquiond
2015-01-29Remove spurious "Loading ML file" and "<W> Grammar extension" from the refere...Guillaume Melquiond
2015-01-06Fix some documentation typos.Guillaume Melquiond
2013-08-23Updating documentation of the ring/field tactics.amahboub
2013-06-17Documenting a potential source of incompleteness in the ring tactic,amahboub
2012-07-05Legacy Ring and Legacy Field migrated to contribsletouzey
2012-07-05ZArith + other : favor the use of modern names instead of compat notationsletouzey
2010-10-11More precise description of boolean ring in doc (see bug #2401)glondu
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey
2008-05-06[ring] constructor for power was missing in the docbarras
2007-07-12port de r9968: bug avec les ring calculatoiresbarras
2007-05-11Made some places in the reference manual clearer. Correctedemakarov
2007-02-07Field rewrites only with polynomialthery
2007-02-07doc de ring/field + option infinite -> completenessbarras
2007-02-06doc for fieldthery
2007-02-05complement du commit 9591bgregoir
2007-02-01Petite relecture partie ringherbelin
2007-01-31report de r9574: doc de fieldbarras
2007-01-24doc de ringbgregoir
2006-10-16typo doc + bug legacy fieldbarras
2006-10-04Correction bug #1236notin
2006-09-28separation de RealFieldbarras
2006-09-22doc du nouveau ringbarras
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 01:33:57 +0000