Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| | | | | | | * | | | | | | [toplevel] Refactor load path handling. | 2018-01-29 | ||
| |_|_|_|_|_|/ / / / / / |/| | | | | | | | | | | | ||||
| | | | | | | | | | * | | allow vernacular controls before focus selector, issue #6587 | 2018-01-26 | ||
| |_|_|_|_|_|_|_|_|/ / |/| | | | | | | | | | | ||||
| | * | | | | | | | | | Safer VM interfaces | 2018-01-26 | ||
| | | | | | | | | | * | document the Fail command | 2018-01-25 | ||
| |_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | ||||
| | | | | | * | | | | Add test case for #5747 | 2018-01-25 | ||
| | | | | | * | | | | [checker] Avoid relying on canonical names. | 2018-01-25 | ||
| | | | | | * | | | | [checker] Remove duplicated function | 2018-01-25 | ||
| | | | | | * | | | | [checker] Better error message for bad recursive trees | 2018-01-25 | ||
| |_|_|_|_|/ / / / |/| | | | | | | | | ||||
| * | | | | | | | | Add a comment referencing travis issue numbers | 2018-01-25 | ||
* | | | | | | | | | Merge PR #6642: fix space in coqchk error | 2018-01-25 | ||
|\ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ | Merge PR #6650: Remove dead code from funind. | 2018-01-25 | ||
|\ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ | Merge PR #6626: [readme] Add DOI badge. | 2018-01-25 | ||
|\ \ \ \ \ \ \ \ \ \ \ | |_|_|_|/ / / / / / / |/| | | | | | | | | | | ||||
* | | | | | | | | | | | Merge PR #6620: Fix #6591: anomaly when using selectors outside of a proof. | 2018-01-25 | ||
|\ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|/ / / |/| | | | | | | | | | | ||||
| | | | * | | | | | | | fix space in coqchk error | 2018-01-24 | ||
| |_|_|/ / / / / / / |/| | | | | | | | | | ||||
| | | * | | | | | | | Remove dead code from funind. | 2018-01-24 | ||
| |_|/ / / / / / / |/| | | | | | | | | ||||
| | | | | * | | | | Fix #6621: Anomaly on fixpoint with primitive projections | 2018-01-24 | ||
| |_|_|_|/ / / / |/| | | | | | | | ||||
| | | * | | | | | Delay installing packages | 2018-01-23 | ||
| | | * | | | | | Use travis_retry on apt-get update | 2018-01-23 | ||
| |_|/ / / / / |/| | | | | | | ||||
| | | * | | | | Stop running duplicate Travis jobs on pull requests. | 2018-01-23 | ||
| |_|/ / / / |/| | | | | | ||||
* | | | | | | Merge PR #6627: Fix #6619: coqchk does not reduce compatibility constants for... | 2018-01-23 | ||
|\ \ \ \ \ \ | ||||
* \ \ \ \ \ \ | Merge PR #6628: [printing] Remove duplicate definitions of pr_lident and pr_l... | 2018-01-23 | ||
|\ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ | Merge PR #6629: Archive COMPATIBILITY | 2018-01-23 | ||
|\ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ | Merge PR #6568: Cleanup scripts | 2018-01-23 | ||
|\ \ \ \ \ \ \ \ \ | ||||
| | | | | * | | | | | Fix #6591: anomaly when using selectors outside of a proof. | 2018-01-22 | ||
| | | | | | |_|_|/ | | | | | |/| | | | ||||
| | | | | | * | | | [readme] Add DOI badge. | 2018-01-22 | ||
| | | | | |/ / / | ||||
| | * | | | | | | Archive COMPATIBILITY. | 2018-01-22 | ||
| | * | | | | | | Move the mention of the removal of Qed exporting at the right place. | 2018-01-22 | ||
| | | |_|/ / / | | |/| | | | | ||||
* | | | | | | | Merge PR #6461: Let dtauto recognize '@sigT A (fun _ => B)' as a conjunction. | 2018-01-22 | ||
|\ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ | Merge PR #6625: Update location on tab switch, issue 6624 | 2018-01-22 | ||
|\ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ | Merge PR #6576: generate both binary and text annotations | 2018-01-22 | ||
|\ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ | Merge PR #6550: Remove outdated note about rlwrap in setup.txt | 2018-01-22 | ||
|\ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ | Merge PR #6618: Fix Ltac subterm matching in (co-)fixpoints. | 2018-01-22 | ||
|\ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6575: Add flash infos for find and replace | 2018-01-22 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6506: Fast rel lookup | 2018-01-22 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|/ / / / / |/| | | | | | | | | | | | | ||||
| | | | | | | | | * | | | | [printing] Remove duplicate definitions of pr_lident and pr_lname | 2018-01-22 | ||
| |_|_|_|_|_|_|_|/ / / / |/| | | | | | | | | | | | ||||
| | | | | | | | | * | | | Adding a test for coqchk bug #6619. | 2018-01-20 | ||
| | | | | | | | | * | | | Fix #6618: coqchk fails with "ill-typed term". | 2018-01-20 | ||
| | | | | | | | | * | | | Remove dead code in Environ. | 2018-01-20 | ||
| |_|_|_|_|_|_|_|/ / / |/| | | | | | | | | | | ||||
| | | | | * | | | | | | -annotate deprecated. New options: -annot, -bin-annot | 2018-01-19 | ||
| | | | | | * | | | | | update location on tab switch, issue 6624 | 2018-01-19 | ||
| |_|_|_|_|/ / / / / |/| | | | | | | | | | ||||
| | | * | | | | | | | Add test-suite file for issue #6617. | 2018-01-19 | ||
| | | * | | | | | | | Fix context handling of fix and cofix in Ltac subterm matching. | 2018-01-19 | ||
| | | * | | | | | | | Define EConstr version of [push_rec_types]. | 2018-01-19 | ||
| | * | | | | | | | | add flash infos about wrap, not found, no. of replacements, no. of finds, iss... | 2018-01-18 | ||
| |/ / / / / / / / |/| | | | | | | | | ||||
* | | | | | | | | | Merge PR #6555: Use let-in aware prod_applist_assum in dtauto and firstorder. | 2018-01-18 | ||
|\ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ | Merge PR #6448: Cleanup and add debug printers a bit | 2018-01-18 | ||
|\ \ \ \ \ \ \ \ \ \ | |_|_|/ / / / / / / |/| | | | | | | | | | ||||
* | | | | | | | | | | Merge PR #6600: Update configure.ml to only warn on lablgtk >= 2.16.0 and < 2... | 2018-01-17 | ||
|\ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ | Merge PR #6593: Add plugins to META.coq | 2018-01-17 | ||
|\ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6298: Fix #6297: handle constraints like (u+1 <= Set/Prop) | 2018-01-17 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6584: Implement the strategy mechanism in the checker | 2018-01-17 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ |