index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
refman
/
Polynom.tex
Commit message (
Expand
)
Author
Age
*
Updating documentation of the ring/field tactics.
amahboub
2013-08-23
*
Documenting a potential source of incompleteness in the ring tactic,
amahboub
2013-06-17
*
Legacy Ring and Legacy Field migrated to contribs
letouzey
2012-07-05
*
ZArith + other : favor the use of modern names instead of compat notations
letouzey
2012-07-05
*
More precise description of boolean ring in doc (see bug #2401)
glondu
2010-10-11
*
Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...
letouzey
2009-03-20
*
[ring] constructor for power was missing in the doc
barras
2008-05-06
*
port de r9968: bug avec les ring calculatoires
barras
2007-07-12
*
Made some places in the reference manual clearer. Corrected
emakarov
2007-05-11
*
Field rewrites only with polynomial
thery
2007-02-07
*
doc de ring/field + option infinite -> completeness
barras
2007-02-07
*
doc for field
thery
2007-02-06
*
complement du commit 9591
bgregoir
2007-02-05
*
Petite relecture partie ring
herbelin
2007-02-01
*
report de r9574: doc de field
barras
2007-01-31
*
doc de ring
bgregoir
2007-01-24
*
typo doc + bug legacy field
barras
2006-10-16
*
Correction bug #1236
notin
2006-10-04
*
separation de RealField
barras
2006-09-28
*
doc du nouveau ring
barras
2006-09-22
*
Nettoyage de l'archive doc et restructuration avant intégration à l'archive
herbelin
2006-02-23