| Age | Commit message (Expand) | Author |
|---|
| 2012-06-01 | More cleaning | ppedrot |
| 2012-05-29 | place all files specific to camlp4 syntax extensions in grammar/ | letouzey |
| 2012-05-29 | locus.mli for occurrences+clauses, misctypes.mli for various little things | letouzey |
| 2012-04-12 | lib directory is cut in 2 cma. | pboutill |
| 2012-03-02 | Noise for nothing | pboutill |
| 2012-01-14 | coq_micromega.ml: fix order of recursive calls to rconstant | glondu |
| 2012-01-14 | More newlines in debugging output of psatzl | glondu |
| 2011-11-21 | theories/, plugins/ and test-suite/ ported to the Arguments vernacular | gareuselesinge |
| 2011-07-29 | Coq_micromega: generic = on constr replaced by eq_constr | puech |
| 2011-06-29 | update of Micromega doc | fbesson |
| 2011-06-28 | improved tactic names | fbesson |
| 2011-06-24 | Numbers: a particular case of div_unique | letouzey |
| 2011-05-25 | Q2R -> IQR | fbesson |
| 2011-05-23 | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14152 85f007b7-540e-0... | fbesson |
| 2011-05-20 | added support to handle division by a constant over R | fbesson |
| 2011-05-18 | cbv delta - [...] before calling lia | fbesson |
| 2011-05-18 | apply zeta reduction before syntaxification | fbesson |
| 2011-05-09 | Improved lia + experimental nlia | fbesson |
| 2011-05-05 | Modularization of BinInt, related fixes in the stdlib | letouzey |
| 2011-05-05 | Modularization of BinNat + fixes of stdlib | letouzey |
| 2011-05-05 | Modularization of BinPos + fixes in Stdlib | letouzey |
| 2011-05-05 | Definitions of positive, N, Z moved in Numbers/BinNums.v | letouzey |
| 2011-04-21 | bug fix: concurrent access of persistent_cache | fbesson |
| 2010-12-23 | Rename rawterm.ml into glob_term.ml | glondu |
| 2010-11-18 | Some more revision of {P,N,Z}Arith + bitwise ops in Ndigits | letouzey |
| 2010-10-21 | Solve name conflict about pow introduced by commit 13546. | letouzey |
| 2010-10-21 | Still some more Cpow in Type rather than Set (cf. r13542) | letouzey |
| 2010-09-13 | Fix unescaped end-of-lines (OCaml warning 29) | glondu |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-07-18 | Reverted 13293 commited mistakenly. Sorry for the noise. | herbelin |
| 2010-07-18 | Tentative de suppression de l'import automatique des hints et coercions. | herbelin |
| 2010-06-29 | QArith: typo in name of hint db (fix #2346) | letouzey |
| 2010-05-28 | A little bit of cleanup, and some annotations. | fkirchne |
| 2010-05-28 | Modify the test for csdp and associated message. | fkirchne |
| 2010-05-28 | ... | fkirchne |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-04-11 | Look for csdp in $PATH at runtime, remove -csdpdir configure option | glondu |
| 2010-04-11 | Remove unused functions run_sdpa | glondu |
| 2010-03-30 | Manual qualification of Mfourier.Proof in micromega to avoid ocamldep using i... | letouzey |
| 2010-03-08 | Application des patches envoyés par F. Besson pour micromega | notin |
| 2009-12-09 | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... | letouzey |
| 2009-12-08 | Sos.ml: no more warnings | letouzey |
| 2009-11-03 | OrderedType implementation for various numerical datatypes + min/max structures | letouzey |
| 2009-10-04 | Removal of trailing spaces. | serpyc |
| 2009-09-28 | Fix the stdlib doc compilation + switch all .v file to utf8 | letouzey |
| 2009-09-18 | micromega: better handling of exponentiation + correction of test-suite termi... | fbesson |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-09-09 | Znumtheory + Zdiv enriched with stuff from ZMicromega, misc improvements | letouzey |
| 2009-08-25 | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12294 85f007b7-540e-0... | fbesson |
| 2009-08-20 | new csdp cache + improved error message | fbesson |
