Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... | 2009-12-09 | |
* | Fix the build of coq via ocamlbuild | 2009-12-08 | |
* | Simplification of Numbers, mainly thanks to Include | 2009-11-10 | |
* | Numbers: finish files NStrongRec and NDefOps | 2009-11-06 | |
* | ROrderedType + Rminmax : Coq's Reals can be seen as OrderedType. | 2009-11-03 | |
* | OrderedType implementation for various numerical datatypes + min/max structures | 2009-11-03 | |
* | FSetCompat: a compatibility wrapper between FSets and MSets | 2009-10-20 | |
* | Merge SetoidList2 into SetoidList. | 2009-10-19 | |
* | Structure/OrderTac.v : highlight the "order" tactic by isolating it from FSet... | 2009-10-16 | |
* | MSets: a new generation of FSets | 2009-10-13 | |
* | Remove useless MonoList.v | 2009-09-17 | |
* | Ocamlbuild: improvements suggested by N. Pouillard | 2009-04-03 |