aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.common
Commit message (Expand)AuthorAge
* Various fixes in the MakefilesGravatar letouzey2011-09-17
* make world now builds fake_ide (to please coq-bench)Gravatar letouzey2011-09-06
* A new mechanism to handle errors.Gravatar aspiwack2011-05-13
* remove useless dependancy for csdpcertGravatar fbesson2011-05-09
* Ide: restaure compilation of ide/macjokes.c removed by mistakeGravatar letouzey2011-03-28
* Ide: more reorganisation and cleanupGravatar letouzey2011-03-25
* Ide: stronger separation from coqtopGravatar letouzey2011-03-23
* Revert "syntax for exponents"Gravatar glondu2011-02-25
* syntax for exponentsGravatar pottier2011-02-22
* Add a test for sorting all universes of stdlibGravatar glondu2011-01-25
* MacOS integrationGravatar pboutill2011-01-07
* Coqide is not built with coqmktop any moreGravatar pboutill2011-01-07
* First release of Vector library.Gravatar pboutill2010-12-10
* Move stuff about positive into a distinct PArith subdirGravatar letouzey2010-11-02
* dev/Makefile.oug: how to run the Oug analyser, for instance for finding dead ...Gravatar letouzey2010-09-24
* Fixed compilation with statically-linked plugins (the decl_modeGravatar herbelin2010-07-07
* Backport from trunk to 8.3 of modifications on groebner/nsatzGravatar herbelin2010-06-22
* Extraction: finish ExtrOcamlNatInt, add similar translation nat==>big_intGravatar letouzey2010-06-04
* plugin groebner updated and renamed as nsatz; first version of the doc of nsa...Gravatar pottier2010-06-03
* Extraction: start of a support libraryGravatar letouzey2010-06-02
* Add (almost) compatibility with camlp4, without breaking support for camlp5Gravatar letouzey2010-05-19
* "make source-doc" builds documentation of mli in html and pdf atGravatar pboutill2010-04-29
* Here comes the commit, announced long ago, of the new tactic engine.Gravatar aspiwack2010-04-22
* New model for user-driven translation of tokens in coqdocGravatar herbelin2010-04-06
* Définition de GRAMMARCMA: parsing/grammar.cma n'était plus installé, ce qu...Gravatar notin2010-03-19
* Makefile: some more cleanupGravatar letouzey2010-03-05
* Makefile: no more separate stagesGravatar letouzey2010-03-04
* Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)Gravatar letouzey2010-03-04
* make init + NMake.v/NMake_gen.vGravatar notin2010-01-26
* * Segmenttree: New. A very simple implementation of segment trees.Gravatar regisgia2010-01-08
* * Rewrite [classify_unicode] using standard unicode tables.Gravatar regisgia2009-12-20
* Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...Gravatar letouzey2009-12-09
* integrate MSetToFiniteSet into the compilation (and fix it)Gravatar letouzey2009-12-08
* Remove interface pluginGravatar glondu2009-12-02
* install manpage of coqchkGravatar barras2009-12-01
* 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
* Fixed installation of Coqide interface/library files (bug #2147).Gravatar gmelquio2009-10-06
* Remove useless MonoList.vGravatar glondu2009-09-17
* - Tentatively made order-dependency wrt .vo files a full dependencyGravatar herbelin2009-09-15
* Addendum to revision 12323; update Makefile.common after removal ofGravatar herbelin2009-09-11
* git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12294 85f007b7-540e-0...Gravatar fbesson2009-08-25
* Delegate _all_ doc targets to stage2Gravatar lmamane2009-08-25
* Parsing files for numerals (+ ascii/string) moved into pluginsGravatar letouzey2009-03-27