| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2014-12-07 | Step 4 : atomize_then | Hugo Herbelin |
| 2014-12-07 | Step 2 | Hugo Herbelin |
| 2014-12-07 | Step 1 | Hugo Herbelin |
| 2014-12-07 | Moving change_in_concl, change_in_hyp, change_concl to Proofview.tactic. | Hugo Herbelin |
| 2014-12-07 | Protecting from a List.nth when applying a command, e.g. C-w, on no CoqIDE bu... | Hugo Herbelin |
| 2014-12-07 | Ensuring that ide_slave and stm receive only .v files from CoqIDE. | Hugo Herbelin |
| 2014-12-07 | Improving evar restriction (this is a risky change, as I remember a | Hugo Herbelin |
| 2014-12-07 | Improved tracking of the origin of evars. | Hugo Herbelin |
| 2014-12-07 | Had forgotten some debugging printer. | Hugo Herbelin |
| 2014-12-07 | Exporting store of goals so that new_evar in convert, intro, etc. can | Hugo Herbelin |
| 2014-12-07 | Removing import of Proofview in debugger because its module Goal hides | Hugo Herbelin |
| 2014-12-07 | Improving e11854569b8 on when to print goals in coqtop mode. | Hugo Herbelin |
| 2014-12-05 | More consistent printing of evars in evar_map debugging printer. | Hugo Herbelin |
