| Age | Commit message (Expand) | Author |
|---|
| 2014-12-12 | Make sure the goals on the shelve are identified as goal and unresolvable for... | Arnaud Spiwack |
| 2014-12-12 | Searchxxx now interpret patterns in goal environment if any. | Pierre Courtieu |
| 2014-12-12 | #4843 part 2 : The .cmxs files for plug-ins must have execute permission | Pierre Boutillier |
| 2014-12-12 | Fix #3163 and #3843 part 1 : Cygwin DLLs have extension ".so", not ".dll" | Pierre Boutillier |
| 2014-12-12 | Fix #3800 : cmxs need execution priviledges under windows | Pierre Boutillier |
| 2014-12-12 | An option SimplIsCbn | Pierre Boutillier |
| 2014-12-12 | Extend the syntax of simpl with a delta flag. | Arnaud Spiwack |
| 2014-12-12 | Searchxxx now search also the hypothesis and support goal selector. | Pierre Courtieu |
| 2014-12-12 | Two fixes in unification (bugs #3782 and #3709) | Matthieu Sozeau |
| 2014-12-12 | In discrimination nets, do not index lambdas if they're part of a beta | Matthieu Sozeau |
| 2014-12-11 | handling Functional Scheme for required but not imported modules | Julien Forest |
| 2014-12-11 | List.v: sequel to Sebastien's commit (some cosmetics + a few shorter proofs) | Pierre Letouzey |
| 2014-12-11 | First series of results on lists. | Sébastien Hinderer |
| 2014-12-11 | Commit not ready. Sorry. | Hugo Herbelin |
| 2014-12-11 | Added a CannotSolveConstraint unification error and made experiments | Hugo Herbelin |
| 2014-12-11 | Fine-tuning unification error (using OccurCheck in evarconv). | Hugo Herbelin |
| 2014-12-11 | Tentatively more informative report of failure when inferring | Hugo Herbelin |
| 2014-12-11 | Fixing an evar_map bug revealed by commit 603b66f81 on unification flags. | Hugo Herbelin |
| 2014-12-11 | Test suite: keep message in sync with actual file deletions. | Xavier Clerc |
| 2014-12-11 | Ignore *.vi files, just like *.vo files. | Xavier Clerc |
| 2014-12-11 | New reproduction cases for the test suite. | Xavier Clerc |
| 2014-12-10 | Fix dummy argument use in guess_elim: there are some cases where X_ind | Matthieu Sozeau |
| 2014-12-10 | Revert commit that inverted the preference for FFlex/FProj problems in | Matthieu Sozeau |
| 2014-12-10 | Fixing orientation of postponed subtyping problems. | Hugo Herbelin |
| 2014-12-10 | Using a more aggressive test for resolving pattern equations ?n = ?p: | Hugo Herbelin |
| 2014-12-10 | typo | Enrico Tassi |
| 2014-12-10 | test-suite: few tests for ".v -> .vi -> .vo" compilation chain | Enrico Tassi |
| 2014-12-09 | Setup hook to change the unification algorithm used by evarconv, | Matthieu Sozeau |
| 2014-12-09 | Switch the few remaining iso-latin-1 files to utf8 | Pierre Letouzey |
| 2014-12-09 | refman: switch all source files to utf8 | Pierre Letouzey |
| 2014-12-09 | refman: fix broken urls | Pierre Letouzey |
| 2014-12-09 | refman: remove ?uri=referer in urls pointing to validator.w3.org | Pierre Letouzey |
| 2014-12-09 | refman/Omega.tex: do not advertize Pierre Cregut's email for bug reports | Pierre Letouzey |
| 2014-12-09 | refman/coqdoc.tex: fix two erroneous \url | Pierre Letouzey |
| 2014-12-09 | refman: for xhtml validity, add 'alt' attributes to img | Pierre Letouzey |
| 2014-12-09 | refman: avoid label names with whitespace (unsupported in html) | Pierre Letouzey |
| 2014-12-09 | refman: xhtml validity of the cover page | Pierre Letouzey |
| 2014-12-09 | coqdoc.css: fix a few errors | Pierre Letouzey |
| 2014-12-09 | coqdoc: fix a few issues with xhtml validity (backport 1636f7 and 754abf1 fro... | Pierre Letouzey |
| 2014-12-09 | doc/stdlib: fix the xhtml validity of the index-list template | Pierre Letouzey |
| 2014-12-09 | doc: improved xhtml compatibility (cover, header,...) | Pierre Letouzey |
| 2014-12-09 | doc/stdlib: fix the html charset in header.html and co | Pierre Letouzey |
| 2014-12-09 | doc: version number in cover.html + updates in coq.inria.fr style | Pierre Letouzey |
| 2014-12-09 | Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la document... | notin |
| 2014-12-09 | Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat... | notin |
| 2014-12-08 | Fixing wrong evar_map in return clause inference, revealed by 48509b611. | Hugo Herbelin |
| 2014-12-08 | Improved criterion for evar restriction in the configuration | Hugo Herbelin |
| 2014-12-08 | This is for documenting and slightly fixing commits 547e97e, c52aea7, 9a34d3e. | Hugo Herbelin |
| 2014-12-08 | Closing bug 3837 | Julien Forest |
| 2014-12-08 | Constructor tactics backtracking is done using [Tacticals.New] rather than [P... | Arnaud Spiwack |
