Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | | | | | | | | | Adding a test for #4398 (interpretation scopes for "match goal"). | 2016-10-24 | ||
| * | | | | | | | | | Rename lia.cache into .lia.cache in the test-suite Makefile. | 2016-10-24 | ||
| * | | | | | | | | | Merge commit '81bdc22' into v8.6 | 2016-10-24 | ||
| |\ \ \ \ \ \ \ \ \ | ||||
| | | * \ \ \ \ \ \ \ | Merge remote-tracking branch 'github/pr/326' into v8.5 | 2016-10-24 | ||
| | | |\ \ \ \ \ \ \ \ | ||||
| | | | | | * | | | | | | Test file for #5127: Memory corruption with the VM | 2016-10-24 | ||
| | | | | | * | | | | | | Fix #5127 Memory corruption with the VM | 2016-10-24 | ||
| * | | | | | | | | | | | Merge branch 'v8.5' into v8.6 | 2016-10-24 | ||
| * | | | | | | | | | | | ssrmatching: fix interpretation of rpattern | 2016-10-24 | ||
| | |_|_|/ / / / / / / | |/| | | | | | | | | | ||||
| | | * | | | | | | | | Fixing a location bug with "?" and "$". | 2016-10-24 | ||
| | | * | | | | | | | | Fixing #3479 (parsing of "{" and "}" when a keyword starts with "{" or "}"). | 2016-10-24 | ||
| | | | |/ / / / / / | | | |/| | | | | | | ||||
| | * | | | | | | | | Update .gitignore with new names for psatz caches | 2016-10-24 | ||
| | | * | | | | | | | Fix 6d5fe92e to #5150 (missing dependencies in test suite) was a bit too strong. | 2016-10-24 | ||
| * | | | | | | | | | Merge branch 'v8.5' into v8.6 | 2016-10-22 | ||
| |\ \ \ \ \ \ \ \ \ | | | |/ / / / / / / | | |/| | | | | | | | ||||
| | * | | | | | | | | Remove incorrect assertion in cbn (bug #4822). | 2016-10-22 | ||
| | * | | | | | | | | Do not stop propagation of signals when Coq is busy (bug #3941). | 2016-10-22 | ||
| | * | | | | | | | | Fix incorrect token description for bullets. | 2016-10-22 | ||
| | * | | | | | | | | Fixing printing of generic arguments of tag "var". | 2016-10-22 | ||
| | | | | * | | | | | Fix a bug in error printing of unif constraints | 2016-10-22 | ||
| | | |_|/ / / / / | | |/| | | | | | | ||||
| * | | | | | | | | Adding a test for bug #3495. | 2016-10-21 | ||
| * | | | | | | | | Oops, my bad, didn't expect a merge issue! | 2016-10-21 | ||
| * | | | | | | | | Merge remote-tracking branch 'gforge/v8.5' into v8.6 | 2016-10-21 | ||
| |\| | | | | | | | ||||
| * | | | | | | | | Adding a primitive to recover the set of keywords from the lexer. | 2016-10-21 | ||
| | * | | | | | | | Revert "unification.ml: fix for bug #4763, unif regression" | 2016-10-21 | ||
| | | | | | | | * | sections/hints: prevent Not_found in get_type_of | 2016-10-21 | ||
| | |_|_|_|_|_|/ | |/| | | | | | | ||||
| * | | | | | | | Merge branch 'fixminimization' into v8.6 | 2016-10-21 | ||
| |\ \ \ \ \ \ \ | ||||
| * | | | | | | | | Revert 214b9ab7969fae71dcf553c399cb1674e463d0e3 | 2016-10-21 | ||
| | * | | | | | | | Remove no longer exported debug printer | 2016-10-21 | ||
| | | * | | | | | | Merge remote-tracking branch 'github/pr/328' into v8.5 | 2016-10-21 | ||
| | | |\ \ \ \ \ \ | ||||
| * | | \ \ \ \ \ \ | Merge remote-tracking branch 'github/pr/233' into v8.6 | 2016-10-21 | ||
| |\ \ \ \ \ \ \ \ \ | ||||
| | | | * | | | | | | | Adding dependency of the test-suite subsystems in prerequisite (fixing #5150). | 2016-10-20 | ||
| | | | * | | | | | | | A fix for #5097 (status of evars refined by "clear" in ltac: closed wrt evars). | 2016-10-20 | ||
| | | * | | | | | | | | Cleanup code according to comments. | 2016-10-20 | ||
| | | * | | | | | | | | Fix minimization to be insensitive to redundant arcs. | 2016-10-20 | ||
| | |/ / / / / / / / | |/| | | | | | | | | ||||
| * | | | | | | | | | Merge branch 'bug5036' into v8.6 | 2016-10-20 | ||
| |\ \ \ \ \ \ \ \ \ | ||||
| | * | | | | | | | | | Fix bug #5036 autorewrite, sections and universes | 2016-10-20 | ||
| | | * | | | | | | | | [search] Don't build intermediate lists in search. | 2016-10-20 | ||
| | |/ / / / / / / / | |/| | | | | | | | | ||||
* | | | | | | | | | | COMMENTS: dev/doc/changes.txt | 2016-10-20 | ||
* | | | | | | | | | | CLEANUP: Namegen.to_avoid | 2016-10-20 | ||
| * | | | | | | | | | Merge remote-tracking branch 'github/printcandidates' into v8.6 | 2016-10-20 | ||
| |\ \ \ \ \ \ \ \ \ | ||||
| | * | | | | | | | | | Refine printing of pending unification constraints | 2016-10-20 | ||
| |/ / / / / / / / / | ||||
| | | | | | * | | | | Documenting Hint Resolve -> and <- variants. | 2016-10-19 | ||
| * | | | | | | | | | Test for variant of #5142 (good error message on pattern-matching failure). | 2016-10-19 | ||
| * | | | | | | | | | Attempt to improve error rendering in pattern-matching compilation (#5142). | 2016-10-19 | ||
* | | | | | | | | | | enriching ".gitignore" | 2016-10-19 | ||
| * | | | | | | | | | More comments in VM. | 2016-10-19 | ||
| * | | | | | | | | | Error Resiliency: more conservative default (only curly braces) | 2016-10-19 | ||
| | | | | | * | | | | Making the doc of auto hints more precise. | 2016-10-19 | ||
* | | | | | | | | | | COMMENT: was added to "Nameops.increment_suffix". | 2016-10-19 | ||
* | | | | | | | | | | CLEANUP: rename "Nameops.lift_subscript" to "Nameops.increment_subscript". | 2016-10-19 | ||
* | | | | | | | | | | Converting certain "order-only" (Makefile) dependencies to regular dependencies. | 2016-10-19 |