| Commit message (Expand) | Author | Age |
|---|
| * | Move stuff about positive into a distinct PArith subdir |  letouzey | 2010-11-02 |
| * | dev/Makefile.oug: how to run the Oug analyser, for instance for finding dead ... | letouzey | 2010-09-24 |
| * | Fixed compilation with statically-linked plugins (the decl_mode |  herbelin | 2010-07-07 |
| * | Backport from trunk to 8.3 of modifications on groebner/nsatz | herbelin | 2010-06-22 |
| * | Extraction: finish ExtrOcamlNatInt, add similar translation nat==>big_int | letouzey | 2010-06-04 |
| * | plugin groebner updated and renamed as nsatz; first version of the doc of nsa... |  pottier | 2010-06-03 |
| * | Extraction: start of a support library | letouzey | 2010-06-02 |
| * | Add (almost) compatibility with camlp4, without breaking support for camlp5 | letouzey | 2010-05-19 |
| * | "make source-doc" builds documentation of mli in html and pdf at |  pboutill | 2010-04-29 |
| * | Here comes the commit, announced long ago, of the new tactic engine. |  aspiwack | 2010-04-22 |
| * | New model for user-driven translation of tokens in coqdoc | herbelin | 2010-04-06 |
| * | Définition de GRAMMARCMA: parsing/grammar.cma n'était plus installé, ce qu... |  notin | 2010-03-19 |
| * | Makefile: some more cleanup | letouzey | 2010-03-05 |
| * | Makefile: no more separate stages | letouzey | 2010-03-04 |
| * | Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form) | letouzey | 2010-03-04 |
| * | make init + NMake.v/NMake_gen.v | notin | 2010-01-26 |
| * | * Segmenttree: New. A very simple implementation of segment trees. |  regisgia | 2010-01-08 |
| * | * Rewrite [classify_unicode] using standard unicode tables. | regisgia | 2009-12-20 |
| * | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... | letouzey | 2009-12-09 |
| * | integrate MSetToFiniteSet into the compilation (and fix it) | letouzey | 2009-12-08 |
| * | Remove interface plugin |  glondu | 2009-12-02 |
| * | install manpage of coqchk |  barras | 2009-12-01 |
| * | Simplification of Numbers, mainly thanks to Include | letouzey | 2009-11-10 |
| * | Numbers: finish files NStrongRec and NDefOps | letouzey | 2009-11-06 |
| * | 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-11-03 |
| * | FSetCompat: a compatibility wrapper between FSets and MSets | letouzey | 2009-10-20 |
| * | Merge SetoidList2 into SetoidList. | letouzey | 2009-10-19 |
| * | Structure/OrderTac.v : highlight the "order" tactic by isolating it from FSet... | letouzey | 2009-10-16 |
| * | MSets: a new generation of FSets | letouzey | 2009-10-13 |
| * | Fixed installation of Coqide interface/library files (bug #2147). |  gmelquio | 2009-10-06 |
| * | Remove useless MonoList.v | glondu | 2009-09-17 |
| * | - Tentatively made order-dependency wrt .vo files a full dependency | herbelin | 2009-09-15 |
| * | Addendum to revision 12323; update Makefile.common after removal of | herbelin | 2009-09-11 |
| * | 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-08-25 |
| * | Parsing files for numerals (+ ascii/string) moved into plugins | letouzey | 2009-03-27 |
| * | make coqdep_boot in stage1, not stage2 | lmamane | 2009-03-25 |
| * | 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-24 |
| * | 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-20 |
| * | 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 | 2009-03-16 |
| * | Better mechanism for loading initial plugins | letouzey | 2009-03-14 |
| * | Makefile: ml dependencies of contribs are moved to .mllib files | letouzey | 2009-03-14 |
| * | - per session coq command stack |  vgross | 2009-03-07 |
| * | ajout de la tactique groebner de Loic Pottier | barras | 2009-03-05 |
letouzey
herbelin
pottier
pboutill
aspiwack
notin
regisgia
glondu
barras
gmelquio
fbesson
lmamane
vgross