| Age | Commit message (Expand) | Author |
|---|
| 2009-04-08 | ocamlbuild: right symlink for csdpcert | letouzey |
| 2009-04-08 | Take formatted into account in rules for dot. | msozeau |
| 2009-04-08 | Experimental support for automatic destruction of recursive calls and | msozeau |
| 2009-04-08 | Fix bug #2083 for good: verify that the measure and relation are | msozeau |
| 2009-04-08 | Some dead code removal + cleanups | letouzey |
| 2009-04-08 | ocamlbuild: tags for new file tactics/rewrite.ml4 | letouzey |
| 2009-04-08 | Change HTML paragraph output to avoid too much space after bulleted | msozeau |
| 2009-04-08 | Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branch | herbelin |
| 2009-04-08 | - Fixing bug #2084 (unification not checking sort constraints), hoping | herbelin |
| 2009-04-08 | A first pearl found by the Oug analyzer: there were two list_map_i in Util | letouzey |
| 2009-04-08 | - Backport of 12053 (fixing parsing segfault bug #2087) and 12058 (fixing | herbelin |
| 2009-04-07 | Fixes in Program: | msozeau |
| 2009-04-07 | Move setoid_rewrite to its own module and do some clean up in | msozeau |
| 2009-04-06 | Fix behavior on newlines with parse-comments and also do [] escaping as | msozeau |
| 2009-04-06 | correction bug 2085 | soubiran |
| 2009-04-05 | Display the content of the list instead of "<list>" when an idtac | herbelin |
| 2009-04-03 | Fix obvious bug in evars_of_named_context. | msozeau |
| 2009-04-03 | Ocamlbuild: option for (not) building coqide, better log messages | letouzey |
| 2009-04-03 | Makefile: ocamlbuild's _build is not traversed by find, and removed by make c... | letouzey |
| 2009-04-03 | Ocamlbuild: improvements suggested by N. Pouillard | letouzey |
| 2009-03-31 | Fix auto so that Extern tactics associated to no patterns can apply to | msozeau |
| 2009-03-31 | Committed patch sent by Samuel Bronson on Mar 14 2009 to take care of | herbelin |
| 2009-03-31 | Complementary fix to have ocamlopt_shared_os5fix.sh working correctly | herbelin |
| 2009-03-30 | Fix the fix script for ocamlopt -shared in MacOS 10.5 (remarks by Hugo) | letouzey |
| 2009-03-30 | Update CHANGES | glondu |
| 2009-03-30 | Document new quote construction | glondu |
| 2009-03-30 | Add tests for quote | glondu |
| 2009-03-30 | Add a more general quote construction | glondu |
| 2009-03-30 | Fix some typos and spaces | glondu |
| 2009-03-29 | Csdpcert: adaptation after last commit | letouzey |
| 2009-03-29 | Micromega: improvement of the code obtained by extraction | letouzey |
| 2009-03-29 | ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc) | letouzey |
| 2009-03-29 | Avoid inadvertent declaration of "on" as a keyword. New syntax is | msozeau |
| 2009-03-28 | Fix useless redeclaration of a tactic name when UpdateTac is replayed. | msozeau |
| 2009-03-28 | Rewrite of Program Fixpoint to overcome the previous limitations: | msozeau |
| 2009-03-28 | Fix bug #2056 (discharge bug). | msozeau |
| 2009-03-28 | Fix static compilation of numeral syntax (typo in _mod files, sorry ...) | letouzey |
| 2009-03-28 | ZArith/Int: no need to load romega here (but rather in FullAVL) | letouzey |
| 2009-03-28 | ZMicromega: useless dependency toward ZArith.Int | letouzey |
| 2009-03-27 | Coqdep: some dead code and code move (first experiment with Oug) | letouzey |
| 2009-03-27 | Parsing files for numerals (+ ascii/string) moved into plugins | letouzey |
| 2009-03-27 | Remove unused mli files | letouzey |
| 2009-03-27 | GroebnerZ: no more admitted lemmas | letouzey |
| 2009-03-26 | Ocamlbuild: 1st reasonably complete version (rules for binaries + plugins + vo) | letouzey |
| 2009-03-26 | Fixes in Program well-founded definitions: | msozeau |
| 2009-03-26 | ocamlbuild: coqide, coqchk, a bit of .vo | letouzey |
| 2009-03-26 | Coqdep_boot: one line with bad indentation | letouzey |
| 2009-03-26 | Protect typeset arguments in titles in LaTeX output (fixes compilation | msozeau |
| 2009-03-26 | clean revision and coqdep_boot, too | lmamane |
| 2009-03-26 | bin/coq-{parser,interface}: use this coqtop, not the first in $PATH | lmamane |
