aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/setoid_ring/vo.itarget
Commit message (Expand)AuthorAge
* Legacy Ring and Legacy Field migrated to contribsGravatar letouzey2012-07-05
* moins de reification inutile, noatations standardsGravatar pottier2011-08-04
* Ring2 devient Ncring et la reification par les type classes est partageeGravatar pottier2011-07-26
* ring2, cring, nsatz avec type classe avec parametres plus notationsGravatar pottier2011-06-10
* Revert "syntax for exponents"Gravatar glondu2011-02-25
* syntax for exponentsGravatar pottier2011-02-22
* anneaux commutatifs ou non, reification sans mlGravatar pottier2011-02-22
* Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...Gravatar letouzey2009-12-09