aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2017-06-30Remove doc/refman/RefMan-ind.texJason Gross
2017-06-30Merge PR#846: Fix OS X Travis by pinning OCaml version.Maxime Dénès
2017-06-30Merge PR#843: closing bug #5618 introduce by PR 828Maxime Dénès
2017-06-30Fix OS X Travis by pinning OCaml version.Théo Zimmermann
2017-06-29closing bug #5618 introduce by PR 828Julien Forest
2017-06-27Merge PR#810: An attempt to fix a failure of test deps-checksum.sh fails with...Maxime Dénès
2017-06-26Merge PR#826: Put plugin exports in the right compatibility fileMaxime Dénès
2017-06-26Merge PR#825: Ignore all PDF files.Maxime Dénès
2017-06-26Merge PR#828: closing bug #4250Maxime Dénès
2017-06-23Merge PR#824: Fix printersMaxime Dénès
2017-06-23Merge PR#821: [vernac] Remove stale bool parameter from `VernacStartTheoremPr...Maxime Dénès
2017-06-23Merge PR#820: [ide] Correct more merging errors.Maxime Dénès
2017-06-23Merge PR#815: STM: par: report no error to UIs in non-solve modeMaxime Dénès
2017-06-23Merge PR#794: Cleanup of ltac cmxsMaxime Dénès
2017-06-23Merge PR#762: [vernac] Fix unneeded mutual references in ObligationsMaxime Dénès
2017-06-23closing bug #4250Julien Forest
2017-06-22Add test-suite file for funind, extraction with compat 8.6Jason Gross
2017-06-22Put plugin exports in the right compatibility fileJason Gross
2017-06-22Ignore all PDF files.Théo Zimmermann
2017-06-22Merge PR#817: [stm] Fix route setting on VtQueryMaxime Dénès
2017-06-22Add missing definition and fix #use include;; as suggested by @amintimany.Théo Zimmermann
2017-06-21[vernac] Remove stale bool parameter from `VernacStartTheoremProof`Emilio Jesus Gallego Arias
2017-06-21[ide] Correct more merging errors.Emilio Jesus Gallego Arias
2017-06-21Should fix a false negative reported by deps-order.sh.Hugo Herbelin
2017-06-20[stm] Fix route setting on VtQueryEmilio Jesus Gallego Arias
2017-06-20STM: par: report no error to UIs in non-solve modeEnrico Tassi
2017-06-20[vernac] Remove forward hooks from Obligations.Emilio Jesus Gallego Arias
2017-06-20[vernac] Remove unused hooks.Emilio Jesus Gallego Arias
2017-06-20Merge PR#742: Fix `make TIMED=1` garbageMaxime Dénès
2017-06-20Merge PR#774: [ide] Add route_id parameter to query call.Maxime Dénès
2017-06-20Merge PR#793: Fixing restriction of existential variables regarding evar_storeMaxime Dénès
2017-06-20Merge PR#807: romega: fix a slowdownMaxime Dénès
2017-06-20Merge PR#803: Clean ssrMaxime Dénès
2017-06-20Merge PR#790: Direct link to Travis branch builds.Maxime Dénès
2017-06-20Merge PR#779: Each user overlay goes into its own file.Maxime Dénès
2017-06-19Merge PR#787: [typeclasses eauto] Fix bug #3943: non-termination in topologicalMaxime Dénès
2017-06-19Merge PR#777: Improving documentation of tactic "move" (report #4561)Maxime Dénès
2017-06-19Merge PR#760: Fixing base_include after loc is an option + a better test that...Maxime Dénès
2017-06-19Merge PR#795: [ide] Better exn printing. [fixes BZ#5524]Maxime Dénès
2017-06-19Merge PR#613: Cumulativity for inductive typesMaxime Dénès
2017-06-19Test case for bug 5578.Maxime Dénès
2017-06-19Merge PR#727: [tactics] Fix summary registration of global hint variable.Maxime Dénès
2017-06-19Fix typo in comment.Maxime Dénès
2017-06-19Merge PR#784: API additions for coq-dpdgraphMaxime Dénès
2017-06-19Merge PR#755: "There are pending proofs" error message now lists the name of ...Maxime Dénès
2017-06-18[ide] Add route_id parameter to query call.Emilio Jesus Gallego Arias
2017-06-18[ide] Better exn printing. [fixes BZ#5524]Emilio Jesus Gallego Arias
2017-06-16Merge PR#804: Increase the time limit on 4366.v to make gitlab work better.Maxime Dénès
2017-06-16romega: avoid potential slowdown when changing concl by reified versionPierre Letouzey
2017-06-16Merge PR#759: don't leak unqualified identifiers from the macroMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-17 20:55:12 +0000