index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
contrib
/
setoid_ring
/
newring.ml4
Commit message (
Expand
)
Author
Age
*
Changement dans ring et field, beaucoup de correction d'erreurs,
bgregoir
2006-12-15
*
Changement dans le kernel :
bgregoir
2006-12-11
*
simplif de la partie ML de ring/field
barras
2006-10-27
*
A version of natprering that should be more efficient and removal of a bad
bertot
2006-10-05
*
Corrects the problem described in PR#1240:
bertot
2006-10-05
*
inefficacite de field_simplify_eq
barras
2006-10-04
*
bug dans field_simplify
barras
2006-10-02
*
separation de RealField
barras
2006-09-28
*
commit de field + renommages
barras
2006-09-26
*
mise a jour du nouveau ring et ajout du nouveau field, avant renommages
barras
2006-09-26
*
Généralisation de with_occurrence (ex occurrence) et de red_expr pour perme...
herbelin
2006-05-30
*
protect ring operations when passed to gen_phiZ and gen_phiN (abstract rings)
barras
2006-02-01
*
protect ring operations when passed to gen_phiZ and gen_phiN (abstract rings)
barras
2006-02-01
*
Restructuration et simplification des fonctions d'affichage, de détypage
herbelin
2006-01-11
*
Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*...
herbelin
2005-12-26
*
Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...
herbelin
2005-12-26
*
Changement des named_context
gregoire
2005-12-02
*
commited first version of new ring
barras
2005-11-18