aboutsummaryrefslogtreecommitdiff
path: root/Makefile.common
AgeCommit message (Expand)Author
2012-01-13Added a Btauto plugin, that solves boolean tautologies.ppedrot
2011-12-06fix Makefile.common handling of -byte-onlygareuselesinge
2011-11-24Moving XML handling to lib directoryppedrot
2011-11-06Added XML dependencies into Makefileppedrot
2011-11-06Added XML manipulation tools to compilation chainppedrot
2011-09-17Various fixes in the Makefilesletouzey
2011-09-06make world now builds fake_ide (to please coq-bench)letouzey
2011-05-13A new mechanism to handle errors.aspiwack
2011-05-09remove useless dependancy for csdpcertfbesson
2011-03-28Ide: restaure compilation of ide/macjokes.c removed by mistakeletouzey
2011-03-25Ide: more reorganisation and cleanupletouzey
2011-03-23Ide: stronger separation from coqtopletouzey
2011-02-25Revert "syntax for exponents"glondu
2011-02-22syntax for exponentspottier
2011-01-25Add a test for sorting all universes of stdlibglondu
2011-01-07MacOS integrationpboutill
2011-01-07Coqide is not built with coqmktop any morepboutill
2010-12-10First release of Vector library.pboutill
2010-11-02Move stuff about positive into a distinct PArith subdirletouzey
2010-09-24dev/Makefile.oug: how to run the Oug analyser, for instance for finding dead ...letouzey
2010-07-07Fixed compilation with statically-linked plugins (the decl_modeherbelin
2010-06-22Backport from trunk to 8.3 of modifications on groebner/nsatzherbelin
2010-06-04Extraction: finish ExtrOcamlNatInt, add similar translation nat==>big_intletouzey
2010-06-03plugin groebner updated and renamed as nsatz; first version of the doc of nsa...pottier
2010-06-02Extraction: start of a support libraryletouzey
2010-05-19Add (almost) compatibility with camlp4, without breaking support for camlp5letouzey
2010-04-29"make source-doc" builds documentation of mli in html and pdf atpboutill
2010-04-22Here comes the commit, announced long ago, of the new tactic engine.aspiwack
2010-04-06New model for user-driven translation of tokens in coqdocherbelin
2010-03-19Définition de GRAMMARCMA: parsing/grammar.cma n'était plus installé, ce qu...notin
2010-03-05Makefile: some more cleanupletouzey
2010-03-04Makefile: no more separate stagesletouzey
2010-03-04Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)letouzey
2010-01-26make init + NMake.v/NMake_gen.vnotin
2010-01-08* Segmenttree: New. A very simple implementation of segment trees.regisgia
2009-12-20* Rewrite [classify_unicode] using standard unicode tables.regisgia
2009-12-09Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...letouzey
2009-12-08integrate MSetToFiniteSet into the compilation (and fix it)letouzey
2009-12-02Remove interface pluginglondu
2009-12-01install manpage of coqchkbarras
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-10-06Fixed installation of Coqide interface/library files (bug #2147).gmelquio
2009-09-17Remove useless MonoList.vglondu
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 10:46:25 +0000