Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge remote-tracking branch 'upstream/trunk' into trunk | 2017-07-01 | |
|\ | |||
* | | RefMan-gal: improve grammar | 2017-07-01 | |
* | | RefMan-syn: grammar edit | 2017-07-01 | |
| * | Merge PR#846: Fix OS X Travis by pinning OCaml version. | 2017-06-30 | |
| |\ | |||
| * \ | Merge PR#843: closing bug #5618 introduce by PR 828 | 2017-06-30 | |
| |\ \ | |||
| | | * | Fix OS X Travis by pinning OCaml version. | 2017-06-30 | |
| | |/ | |/| | |||
| | * | closing bug #5618 introduce by PR 828 | 2017-06-29 | |
| * | | Merge PR#810: An attempt to fix a failure of test deps-checksum.sh fails with... | 2017-06-27 | |
| |\ \ | |||
| * \ \ | Merge PR#826: Put plugin exports in the right compatibility file | 2017-06-26 | |
| |\ \ \ | |||
| * \ \ \ | Merge PR#825: Ignore all PDF files. | 2017-06-26 | |
| |\ \ \ \ | |||
| * \ \ \ \ | Merge PR#828: closing bug #4250 | 2017-06-26 | |
| |\ \ \ \ \ | | | |_|_|/ | | |/| | | | |||
| * | | | | | Merge PR#824: Fix printers | 2017-06-23 | |
| |\ \ \ \ \ | |||
| * \ \ \ \ \ | Merge PR#821: [vernac] Remove stale bool parameter from `VernacStartTheoremPr... | 2017-06-23 | |
| |\ \ \ \ \ \ | |||
| * \ \ \ \ \ \ | Merge PR#820: [ide] Correct more merging errors. | 2017-06-23 | |
| |\ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ | Merge PR#815: STM: par: report no error to UIs in non-solve mode | 2017-06-23 | |
| |\ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ | Merge PR#794: Cleanup of ltac cmxs | 2017-06-23 | |
| |\ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ | Merge PR#762: [vernac] Fix unneeded mutual references in Obligations | 2017-06-23 | |
| |\ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | * | | | | closing bug #4250 | 2017-06-23 | |
| | |_|_|_|_|_|/ / / / | |/| | | | | | | | | | |||
| | | | | | | | | * | | Add test-suite file for funind, extraction with compat 8.6 | 2017-06-22 | |
| | | | | | | | | * | | Put plugin exports in the right compatibility file | 2017-06-22 | |
| | |_|_|_|_|_|_|/ / | |/| | | | | | | | | |||
| | | | | | | | * | | Ignore all PDF files. | 2017-06-22 | |
| * | | | | | | | | | Merge PR#817: [stm] Fix route setting on VtQuery | 2017-06-22 | |
| |\ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|/ / | |/| | | | | | | | | |||
| | | | | | | | * | | Add missing definition and fix #use include;; as suggested by @amintimany. | 2017-06-22 | |
| | |_|_|_|_|_|/ / | |/| | | | | | | | |||
| | | | | | | * | | [vernac] Remove stale bool parameter from `VernacStartTheoremProof` | 2017-06-21 | |
| | |_|_|_|_|/ / | |/| | | | | | | |||
| | | | | | * | | [ide] Correct more merging errors. | 2017-06-21 | |
| | |_|_|_|/ / | |/| | | | | | |||
| | | | | | * | Should fix a false negative reported by deps-order.sh. | 2017-06-21 | |
| | |_|_|_|/ | |/| | | | | |||
| | * | | | | [stm] Fix route setting on VtQuery | 2017-06-20 | |
| |/ / / / | |||
| | | | * | STM: par: report no error to UIs in non-solve mode | 2017-06-20 | |
| | * | | | [vernac] Remove forward hooks from Obligations. | 2017-06-20 | |
| | * | | | [vernac] Remove unused hooks. | 2017-06-20 | |
| |/ / / | |||
| * | | | Merge PR#742: Fix `make TIMED=1` garbage | 2017-06-20 | |
| |\ \ \ | |||
| * \ \ \ | Merge PR#774: [ide] Add route_id parameter to query call. | 2017-06-20 | |
| |\ \ \ \ | |||
| * \ \ \ \ | Merge PR#793: Fixing restriction of existential variables regarding evar_store | 2017-06-20 | |
| |\ \ \ \ \ | |||
| * \ \ \ \ \ | Merge PR#807: romega: fix a slowdown | 2017-06-20 | |
| |\ \ \ \ \ \ | |||
| * \ \ \ \ \ \ | Merge PR#803: Clean ssr | 2017-06-20 | |
| |\ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ | Merge PR#790: Direct link to Travis branch builds. | 2017-06-20 | |
| |\ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ | Merge PR#779: Each user overlay goes into its own file. | 2017-06-20 | |
| |\ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ | Merge PR#787: [typeclasses eauto] Fix bug #3943: non-termination in topological | 2017-06-19 | |
| |\ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ | Merge PR#777: Improving documentation of tactic "move" (report #4561) | 2017-06-19 | |
| |\ \ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ \ | Merge PR#760: Fixing base_include after loc is an option + a better test that... | 2017-06-19 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#795: [ide] Better exn printing. [fixes BZ#5524] | 2017-06-19 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#613: Cumulativity for inductive types | 2017-06-19 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| * | | | | | | | | | | | | | | | Test case for bug 5578. | 2017-06-19 | |
| * | | | | | | | | | | | | | | | Merge PR#727: [tactics] Fix summary registration of global hint variable. | 2017-06-19 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| * | | | | | | | | | | | | | | | | Fix typo in comment. | 2017-06-19 | |
| | |_|_|_|_|_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | | | | | | |||
| * | | | | | | | | | | | | | | | Merge PR#784: API additions for coq-dpdgraph | 2017-06-19 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#755: "There are pending proofs" error message now lists the name of ... | 2017-06-19 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | | | | | | | | * | | | [ide] Add route_id parameter to query call. | 2017-06-18 | |
| | | | | | * | | | | | | | | | | | | [ide] Better exn printing. [fixes BZ#5524] | 2017-06-18 | |
| | | | | | | |_|_|_|_|_|_|_|/ / / | | | | | | |/| | | | | | | | | | | |||
| * | | | | | | | | | | | | | | | | Merge PR#804: Increase the time limit on 4366.v to make gitlab work better. | 2017-06-16 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ |