aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Merge remote-tracking branch 'upstream/trunk' into trunkGravatar William Lawvere2017-07-01
|\
* | RefMan-gal: improve grammarGravatar William Lawvere2017-07-01
* | RefMan-syn: grammar editGravatar William Lawvere2017-07-01
| * Merge PR#846: Fix OS X Travis by pinning OCaml version.Gravatar Maxime Dénès2017-06-30
| |\
| * \ Merge PR#843: closing bug #5618 introduce by PR 828Gravatar Maxime Dénès2017-06-30
| |\ \
| | | * Fix OS X Travis by pinning OCaml version.Gravatar Théo Zimmermann2017-06-30
| | |/ | |/|
| | * closing bug #5618 introduce by PR 828Gravatar Julien Forest2017-06-29
| * | Merge PR#810: An attempt to fix a failure of test deps-checksum.sh fails with...Gravatar Maxime Dénès2017-06-27
| |\ \
| * \ \ Merge PR#826: Put plugin exports in the right compatibility fileGravatar Maxime Dénès2017-06-26
| |\ \ \
| * \ \ \ Merge PR#825: Ignore all PDF files.Gravatar Maxime Dénès2017-06-26
| |\ \ \ \
| * \ \ \ \ Merge PR#828: closing bug #4250Gravatar Maxime Dénès2017-06-26
| |\ \ \ \ \ | | | |_|_|/ | | |/| | |
| * | | | | Merge PR#824: Fix printersGravatar Maxime Dénès2017-06-23
| |\ \ \ \ \
| * \ \ \ \ \ Merge PR#821: [vernac] Remove stale bool parameter from `VernacStartTheoremPr...Gravatar Maxime Dénès2017-06-23
| |\ \ \ \ \ \
| * \ \ \ \ \ \ Merge PR#820: [ide] Correct more merging errors.Gravatar Maxime Dénès2017-06-23
| |\ \ \ \ \ \ \
| * \ \ \ \ \ \ \ Merge PR#815: STM: par: report no error to UIs in non-solve modeGravatar Maxime Dénès2017-06-23
| |\ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ Merge PR#794: Cleanup of ltac cmxsGravatar Maxime Dénès2017-06-23
| |\ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ Merge PR#762: [vernac] Fix unneeded mutual references in ObligationsGravatar Maxime Dénès2017-06-23
| |\ \ \ \ \ \ \ \ \ \
| | | | | | | | * | | | closing bug #4250Gravatar Julien Forest2017-06-23
| | |_|_|_|_|_|/ / / / | |/| | | | | | | | |
| | | | | | | | | * | Add test-suite file for funind, extraction with compat 8.6Gravatar Jason Gross2017-06-22
| | | | | | | | | * | Put plugin exports in the right compatibility fileGravatar Jason Gross2017-06-22
| | |_|_|_|_|_|_|/ / | |/| | | | | | | |
| | | | | | | | * | Ignore all PDF files.Gravatar Théo Zimmermann2017-06-22
| * | | | | | | | | Merge PR#817: [stm] Fix route setting on VtQueryGravatar Maxime Dénès2017-06-22
| |\ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|/ / | |/| | | | | | | |
| | | | | | | | * | Add missing definition and fix #use include;; as suggested by @amintimany.Gravatar Théo Zimmermann2017-06-22
| | |_|_|_|_|_|/ / | |/| | | | | | |
| | | | | | | * | [vernac] Remove stale bool parameter from `VernacStartTheoremProof`Gravatar Emilio Jesus Gallego Arias2017-06-21
| | |_|_|_|_|/ / | |/| | | | | |
| | | | | | * | [ide] Correct more merging errors.Gravatar Emilio Jesus Gallego Arias2017-06-21
| | |_|_|_|/ / | |/| | | | |
| | | | | | * Should fix a false negative reported by deps-order.sh.Gravatar Hugo Herbelin2017-06-21
| | |_|_|_|/ | |/| | | |
| | * | | | [stm] Fix route setting on VtQueryGravatar Emilio Jesus Gallego Arias2017-06-20
| |/ / / /
| | | | * STM: par: report no error to UIs in non-solve modeGravatar Enrico Tassi2017-06-20
| | * | | [vernac] Remove forward hooks from Obligations.Gravatar Emilio Jesus Gallego Arias2017-06-20
| | * | | [vernac] Remove unused hooks.Gravatar Emilio Jesus Gallego Arias2017-06-20
| |/ / /
| * | | Merge PR#742: Fix `make TIMED=1` garbageGravatar Maxime Dénès2017-06-20
| |\ \ \
| * \ \ \ Merge PR#774: [ide] Add route_id parameter to query call.Gravatar Maxime Dénès2017-06-20
| |\ \ \ \
| * \ \ \ \ Merge PR#793: Fixing restriction of existential variables regarding evar_storeGravatar Maxime Dénès2017-06-20
| |\ \ \ \ \
| * \ \ \ \ \ Merge PR#807: romega: fix a slowdownGravatar Maxime Dénès2017-06-20
| |\ \ \ \ \ \
| * \ \ \ \ \ \ Merge PR#803: Clean ssrGravatar Maxime Dénès2017-06-20
| |\ \ \ \ \ \ \
| * \ \ \ \ \ \ \ Merge PR#790: Direct link to Travis branch builds.Gravatar Maxime Dénès2017-06-20
| |\ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ Merge PR#779: Each user overlay goes into its own file.Gravatar Maxime Dénès2017-06-20
| |\ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ Merge PR#787: [typeclasses eauto] Fix bug #3943: non-termination in topologicalGravatar Maxime Dénès2017-06-19
| |\ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ Merge PR#777: Improving documentation of tactic "move" (report #4561)Gravatar Maxime Dénès2017-06-19
| |\ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ Merge PR#760: Fixing base_include after loc is an option + a better test that...Gravatar Maxime Dénès2017-06-19
| |\ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ Merge PR#795: [ide] Better exn printing. [fixes BZ#5524]Gravatar Maxime Dénès2017-06-19
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ Merge PR#613: Cumulativity for inductive typesGravatar Maxime Dénès2017-06-19
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | Test case for bug 5578.Gravatar Maxime Dénès2017-06-19
| * | | | | | | | | | | | | | | Merge PR#727: [tactics] Fix summary registration of global hint variable.Gravatar Maxime Dénès2017-06-19
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | Fix typo in comment.Gravatar Maxime Dénès2017-06-19
| | |_|_|_|_|_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | Merge PR#784: API additions for coq-dpdgraphGravatar Maxime Dénès2017-06-19
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge PR#755: "There are pending proofs" error message now lists the name of ...Gravatar Maxime Dénès2017-06-19
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | | | | | | | | | | | | | | * | | [ide] Add route_id parameter to query call.Gravatar Emilio Jesus Gallego Arias2017-06-18
| | | | | | * | | | | | | | | | | | [ide] Better exn printing. [fixes BZ#5524]Gravatar Emilio Jesus Gallego Arias2017-06-18
| | | | | | | |_|_|_|_|_|_|_|/ / / | | | | | | |/| | | | | | | | | |
| * | | | | | | | | | | | | | | | Merge PR#804: Increase the time limit on 4366.v to make gitlab work better.Gravatar Maxime Dénès2017-06-16
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-19 04:06:29 +0000