| Age | Commit message (Expand) | Author |
|---|
| 2011-01-25 | Add a test for sorting all universes of stdlib | glondu |
| 2011-01-07 | MacOS integration | pboutill |
| 2011-01-07 | Coqide is not built with coqmktop any more | pboutill |
| 2010-12-10 | First release of Vector library. | pboutill |
| 2010-11-02 | Move stuff about positive into a distinct PArith subdir | letouzey |
| 2010-09-24 | dev/Makefile.oug: how to run the Oug analyser, for instance for finding dead ... | letouzey |
| 2010-07-07 | Fixed compilation with statically-linked plugins (the decl_mode | herbelin |
| 2010-06-22 | Backport from trunk to 8.3 of modifications on groebner/nsatz | herbelin |
| 2010-06-04 | Extraction: finish ExtrOcamlNatInt, add similar translation nat==>big_int | letouzey |
| 2010-06-03 | plugin groebner updated and renamed as nsatz; first version of the doc of nsa... | pottier |
| 2010-06-02 | Extraction: start of a support library | letouzey |
| 2010-05-19 | Add (almost) compatibility with camlp4, without breaking support for camlp5 | letouzey |
| 2010-04-29 | "make source-doc" builds documentation of mli in html and pdf at | pboutill |
| 2010-04-22 | Here comes the commit, announced long ago, of the new tactic engine. | aspiwack |
| 2010-04-06 | New model for user-driven translation of tokens in coqdoc | herbelin |
| 2010-03-19 | Définition de GRAMMARCMA: parsing/grammar.cma n'était plus installé, ce qu... | notin |
| 2010-03-05 | Makefile: some more cleanup | letouzey |
| 2010-03-04 | Makefile: no more separate stages | letouzey |
| 2010-03-04 | Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form) | letouzey |
| 2010-01-26 | make init + NMake.v/NMake_gen.v | notin |
| 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-09 | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... | letouzey |
| 2009-12-08 | integrate MSetToFiniteSet into the compilation (and fix it) | letouzey |
| 2009-12-02 | Remove interface plugin | glondu |
| 2009-12-01 | install manpage of coqchk | barras |
| 2009-11-10 | Simplification of Numbers, mainly thanks to Include | letouzey |
| 2009-11-06 | Numbers: finish files NStrongRec and NDefOps | letouzey |
| 2009-11-03 | ROrderedType + Rminmax : Coq's Reals can be seen as OrderedType. | letouzey |
| 2009-11-03 | OrderedType implementation for various numerical datatypes + min/max structures | letouzey |
| 2009-10-20 | FSetCompat: a compatibility wrapper between FSets and MSets | letouzey |
| 2009-10-19 | Merge SetoidList2 into SetoidList. | letouzey |
| 2009-10-16 | Structure/OrderTac.v : highlight the "order" tactic by isolating it from FSet... | letouzey |
| 2009-10-13 | MSets: a new generation of FSets | letouzey |
| 2009-10-06 | Fixed installation of Coqide interface/library files (bug #2147). | gmelquio |
| 2009-09-17 | Remove useless MonoList.v | glondu |
| 2009-09-15 | - Tentatively made order-dependency wrt .vo files a full dependency | herbelin |
| 2009-09-11 | Addendum to revision 12323; update Makefile.common after removal of | herbelin |
| 2009-08-25 | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12294 85f007b7-540e-0... | fbesson |
| 2009-08-25 | Delegate _all_ doc targets to stage2 | lmamane |
| 2009-03-27 | Parsing files for numerals (+ ascii/string) moved into plugins | letouzey |
| 2009-03-25 | make coqdep_boot in stage1, not stage2 | lmamane |
| 2009-03-24 | ocamlbuild improvements + minor makefile fix | letouzey |
| 2009-03-24 | pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file) | letouzey |
| 2009-03-20 | Many changes in the Makefile infrastructure + a beginning of ocamlbuild | letouzey |
| 2009-03-20 | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey |
| 2009-03-16 | missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ... | barras |
| 2009-03-16 | coqdep_boot: a specialized and dependency-free coqdep for killing one of the ... | letouzey |
| 2009-03-16 | Makefile: fix ignored errors, several attempts to clarify things | letouzey |
| 2009-03-16 | Makefile: minor improvements | letouzey |
