aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/theories.itarget
Commit message (Expand)AuthorAge
* Officially discontinue the experimental coq build via ocamlbuildGravatar Pierre Letouzey2016-06-08
* MMaps: remove it from final 8.5 release, since this new library isn't mature ...Gravatar Pierre Letouzey2016-01-13
* Add compatibility files (feature 4319)Gravatar Jason Gross2015-09-30
* Introducing MMaps, a modernized FMaps.Gravatar Pierre Letouzey2015-03-04
* First release of Vector library.Gravatar pboutill2010-12-10
* Move stuff about positive into a distinct PArith subdirGravatar letouzey2010-11-02
* Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...Gravatar letouzey2009-12-09
* Fix the build of coq via ocamlbuildGravatar letouzey2009-12-08
* Simplification of Numbers, mainly thanks to IncludeGravatar letouzey2009-11-10
* Numbers: finish files NStrongRec and NDefOpsGravatar letouzey2009-11-06
* ROrderedType + Rminmax : Coq's Reals can be seen as OrderedType.Gravatar letouzey2009-11-03
* OrderedType implementation for various numerical datatypes + min/max structuresGravatar letouzey2009-11-03
* FSetCompat: a compatibility wrapper between FSets and MSetsGravatar letouzey2009-10-20
* Merge SetoidList2 into SetoidList.Gravatar letouzey2009-10-19
* Structure/OrderTac.v : highlight the "order" tactic by isolating it from FSet...Gravatar letouzey2009-10-16
* MSets: a new generation of FSetsGravatar letouzey2009-10-13
* Remove useless MonoList.vGravatar glondu2009-09-17
* Ocamlbuild: improvements suggested by N. PouillardGravatar letouzey2009-04-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 02:03:40 +0000