aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-03-05Put regularly failing async tests in allow_failure mode.Théo Zimmermann
2019-03-04Merge PR #9687: Cleanup exported variables in Makefile.buildEnrico Tassi
2019-03-04Merge PR #8700: Removing debugging warning when no exception handler is regis...Emilio Jesus Gallego Arias
2019-03-04Merge PR #9688: [stm] unfocus when edition exits the proof (fix #9431)Emilio Jesus Gallego Arias
2019-03-04Removing debugging warning when no exception handler is registered in futures.Hugo Herbelin
2019-03-04Merge PR #9660: Set COQLIB so the test suite runs locally on Windows.Enrico Tassi
2019-03-04[stm] unfocus when edition exits the proof (fix #9431)Enrico Tassi
2019-03-04Merge PR #9594: When Nix build is finished and pushed to Cachix, update a spe...Maxime Dénès
2019-03-04Merge PR #9047: [dune] Shim for starting `coqtop/coqide` with minimal config.Théo Zimmermann
2019-03-03Cleanup exported variables in Makefile.buildGaëtan Gilbert
2019-03-03[dune] Shim for starting `coqtop/coqide` with minimal config.Emilio Jesus Gallego Arias
2019-03-01Merge PR #9676: Move test_mode from Flags to Vernacentries (use point)Emilio Jesus Gallego Arias
2019-03-01Merge PR #9624: [Kernel] Simpler generation of opcode filesEmilio Jesus Gallego Arias
2019-03-01Merge PR #9677: Update coqdev.el to use -topfileEmilio Jesus Gallego Arias
2019-03-01Set COQLIB so the test suite will run locally on Windows.Jim Fehrle
2019-03-01When Nix build is finished and pushed to Cachix, update a specific branch.Théo Zimmermann
2019-03-01Merge PR #9626: [lib] Add `Map.update` from OCaml 4.06Pierre-Marie Pédrot
2019-03-01[Kernel] Simpler generation of opcode filesVincent Laporte
2019-03-01write_uint63.ml: add headerVincent Laporte
2019-03-01Merge PR #9006: [dune] Add quickide target for building of IDE.Théo Zimmermann
2019-03-01Update coqdev.el to use -topfileGaëtan Gilbert
2019-03-01Move test_mode from Flags to Vernacentries (use point)Gaëtan Gilbert
2019-03-01[dune] Add quickide target for building of IDE.Emilio Jesus Gallego Arias
2019-03-01Merge PR #9656: Fix deprecation warningEmilio Jesus Gallego Arias
2019-03-01Merge PR #9610: Fix #9110: mention check-owners-pr.shEmilio Jesus Gallego Arias
2019-03-01Merge PR #9619: Print location for type error in pattern variableEmilio Jesus Gallego Arias
2019-03-01Merge PR #9672: [doc] ssr: Fix the documentation of `by [tacs]`Théo Zimmermann
2019-03-01[doc] ssr: Fix the documentation of `by [tacs]`Erik Martin-Dorel
2019-02-28Fix #9110: mention check-owners-pr.shThéo Zimmermann
2019-02-28Merge PR #9621: [ide] only use Coq_config for the URL of the manualPierre-Marie Pédrot
2019-02-28Print location for type error in pattern variableGaëtan Gilbert
2019-02-28[Gitlab-CI] Creates a deploy-templateVincent Laporte
2019-02-28Merge PR #9578: Document primitive integersThéo Zimmermann
2019-02-28Merge PR #9649: [dune] Simple rule to generate Stdlib's documentation.Théo Zimmermann
2019-02-27[ide] only use Coq_config for the URL of the manualEnrico Tassi
2019-02-27Merge PR #9622: Fix makefile deps for coqidePierre-Marie Pédrot
2019-02-27[make] coqide target needs STM workersEnrico Tassi
2019-02-27[ide] coqtop -> coqidetop in user messagesEnrico Tassi
2019-02-26[dune] Simple rule to generate Stdlib's documentation.Emilio Jesus Gallego Arias
2019-02-26Merge PR #9612: Fix #9526: Registering inductives for primitive integers does...Vincent Laporte
2019-02-26Fix deprecation warningEnrico Tassi
2019-02-26Fix #9526: Registering inductives for primitive integers doesn't check enoughMaxime Dénès
2019-02-26Merge PR #9648: [Gitlab-CI] Deploy api documentation to GH-PagesEmilio Jesus Gallego Arias
2019-02-26Merge PR #9653: Fix gitattributes for Makefile.duneEmilio Jesus Gallego Arias
2019-02-26Fix gitattributes for Makefile.duneGaëtan Gilbert
2019-02-26Merge PR #9567: [vernac] Unify declaration hooks.Maxime Dénès
2019-02-25[Manual] Refactor documentation of internal registration commandsVincent Laporte
2019-02-25[Manual] Document primitive integersVincent Laporte
2019-02-25[Manual] Document the “Primitive” commandVincent Laporte
2019-02-25[Manual] Document “Register Inline”Vincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 15:06:01 +0000