aboutsummaryrefslogtreecommitdiff
path: root/theories/theories.itarget
AgeCommit message (Expand)Author
2016-06-08Officially discontinue the experimental coq build via ocamlbuildPierre Letouzey
2016-01-13MMaps: remove it from final 8.5 release, since this new library isn't mature ...Pierre Letouzey
2015-09-30Add compatibility files (feature 4319)Jason Gross
2015-03-04Introducing MMaps, a modernized FMaps.Pierre Letouzey
2010-12-10First release of Vector library.pboutill
2010-11-02Move stuff about positive into a distinct PArith subdirletouzey
2009-12-09Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...letouzey
2009-12-08Fix the build of coq via ocamlbuildletouzey
2009-11-10Simplification of Numbers, mainly thanks to Includeletouzey
2009-11-06Numbers: finish files NStrongRec and NDefOpsletouzey
2009-11-03ROrderedType + Rminmax : Coq's Reals can be seen as OrderedType.letouzey
2009-11-03OrderedType implementation for various numerical datatypes + min/max structuresletouzey
2009-10-20FSetCompat: a compatibility wrapper between FSets and MSetsletouzey
2009-10-19Merge SetoidList2 into SetoidList.letouzey
2009-10-16Structure/OrderTac.v : highlight the "order" tactic by isolating it from FSet...letouzey
2009-10-13MSets: a new generation of FSetsletouzey
2009-09-17Remove useless MonoList.vglondu
2009-04-03Ocamlbuild: improvements suggested by N. Pouillardletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 03:04:26 +0000