aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-03-11[dune] [configure] Fix `gramlib` path for hardcoded includes.Emilio Jesus Gallego Arias
2019-03-11[ci] [docker] Upgrade odoc to 1.4.0Emilio Jesus Gallego Arias
2019-03-11Don't coqchk the test suite prerequisitesGaëtan Gilbert
2019-03-11Fix undefined gramlib_MLLIB_DEPENDENCIES in make installGaëtan Gilbert
2019-03-11Nicer error for bad primitive types (through type_errors etc)Gaëtan Gilbert
2019-03-11Remove unused Retroknowledge.Register_inlineGaëtan Gilbert
2019-03-11Merge PR #9698: Remove last random failuresGaëtan Gilbert
2019-03-11Merge PR #9675: Dune: remove -short-paths flag.Emilio Jesus Gallego Arias
2019-03-11Merge PR #9570: Refresh contributing guide and README.Maxime Dénès
2019-03-10Merge PR #9654: [sphinx] Add warn option to coqtop directive.Clément Pit-Claudel
2019-03-10Merge PR #9728: Fix issue #9722 pkg-config not foundThéo Zimmermann
2019-03-08Fix issue #9722 pkg-config not foundMichael Soegtrop
2019-03-08Merge PR #9720: [refman] Fix typo in local application of tacticsThéo Zimmermann
2019-03-08[sphinx] Fix typo in local application of tacticshawnzug
2019-03-07Merge PR #9133: Move README-V1-V5 to credits chapterClément Pit-Claudel
2019-03-06Merge PR #9476: Constructor type information uses the expanded form.Gaëtan Gilbert
2019-03-05Merge PR #9524: Fix #7632: Change syntax of autoapply according to the docume...Pierre-Marie Pédrot
2019-03-05Merge PR #9701: [CI] Add stdlib2Emilio Jesus Gallego Arias
2019-03-05[CI] Add stdlib2Vincent Laporte
2019-03-05[dune] [checker] Don't install internal checker library.Emilio Jesus Gallego Arias
2019-03-05Remove regularly failing test from test-suite.Théo Zimmermann
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-04remove unused import of osFrédéric Chapoton
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-04[dune] [ide] Don't install the internal CoqIDE UI library.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-01Dune: remove -short-paths flag.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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-28 12:39:38 +0000