aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2018-12-13[dune] [doc] Support for building the reference manual with Dune.Emilio Jesus Gallego Arias
2018-12-13Merge PR #9217: [ci] [appveyor] Temporally disable test suite on Appveyor.Gaëtan Gilbert
2018-12-13[ci] [appveyor] Temporally disable test suite on Appveyor.Emilio Jesus Gallego Arias
2018-12-12Higher-level libobject API for objects with fixed scopesMaxime Dénès
2018-12-12Merge PR #9150: [doc] Enable Warning 50 [incorrect doc comment] and fix comme...Maxime Dénès
2018-12-11Fixing imports in debug printers: gramlib depends on Loc which is in lib.cma.Hugo Herbelin
2018-12-10Merge PR #9077: Rename generated directory gramlib__pack -> gramlib/.packEmilio Jesus Gallego Arias
2018-12-09fix copy-paste error in CI_ARCHIVEURLChristian Doczkal
2018-12-09add relation-algebra to CI test suiteChristian Doczkal
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-12-06Rename generated directory gramlib__pack -> gramlib/.packGaëtan Gilbert
2018-12-05[ci] Add four color theorem proof to CIEmilio Jesus Gallego Arias
2018-12-05Merge PR #9065: [gramlib] Remove `Ploc.t` in favor of `Loc.t`Pierre-Marie Pédrot
2018-12-05Merge PR #8705: [vernac] [hooks] Refactor towards optional hooks.Pierre-Marie Pédrot
2018-12-04CI: track dev branch of coq-simple-ioYishuai Li
2018-12-04Merge PR #8187: Notation printing based on scopes (take 2, including bug fixes)Emilio Jesus Gallego Arias
2018-12-04Merge PR #9053: Document code owner team creation.Maxime Dénès
2018-12-04Addressing issues with PR#873: performance and use of abbreviation for printing.Hugo Herbelin
2018-12-03Merge PR #9112: [release doc] vX.X branches are now automatically protected.Maxime Dénès
2018-11-30[vernac] [hooks] Refactor towards optional hooks.Emilio Jesus Gallego Arias
2018-11-30[gramlib] Remove `Ploc.t` in favor of `Loc.t`Emilio Jesus Gallego Arias
2018-11-30Merge PR #9102: [ltac] Remove aliases already present in the lower layers.Pierre-Marie Pédrot
2018-11-29[release doc] vX.X branches are now automatically protected.Théo Zimmermann
2018-11-29Merge PR #9054: [ci] [appveyor] Move Appveyor to OPAM 2.Maxime Dénès
2018-11-28[Windows CI] Do not build any addon if WINDOWS is not enabled_all_addons.Théo Zimmermann
2018-11-28[ltac] Remove aliases already present in the lower layers.Emilio Jesus Gallego Arias
2018-11-27[ci] [appveyor] Move Appveyor to OPAM 2.Emilio Jesus Gallego Arias
2018-11-27Merge PR #9046: Goptions.declare_* functions return unit instead of a write_f...Emilio Jesus Gallego Arias
2018-11-27Merge PR #7033: Remove obsolete files from dev/docThéo Zimmermann
2018-11-27Merge PR #8850: Private universes for opaque polymorphic constants.Matthieu Sozeau
2018-11-26Merge PR #9057: [nix-ci] Add a README in dev/ci/nixThéo Zimmermann
2018-11-26Fix ocamldebug-coq for packed gramlibGaëtan Gilbert
2018-11-26[nix-ci] Add a README in dev/ci/nixVincent Laporte
2018-11-26[nix-ci] Use master version of UnicoqVincent Laporte
2018-11-24Merge PR #8933: Make initial evar map argument to check_evars_are_solved opti...Pierre-Marie Pédrot
2018-11-24Apply suggestions from code review Théo Zimmermann
2018-11-24[ci] [doc] Note about `overlay-maintainers` team.Emilio Jesus Gallego Arias
2018-11-24[ci] [doc] Note about `create-overlays.sh`Emilio Jesus Gallego Arias
2018-11-24[ci] [doc] Split user/developer README, add info about Nix/Docker CIEmilio Jesus Gallego Arias
2018-11-23Merge PR #9055: [dev] fix create_overlay wrt branch names containing /Emilio Jesus Gallego Arias
2018-11-23Merge PR #9044: Remove pidetop from CIEmilio Jesus Gallego Arias
2018-11-23Adding overlay.Pierre-Marie Pédrot
2018-11-23Overlay for private polymorphic universesGaëtan Gilbert
2018-11-23Merge PR #9021: merge-pr: Improve overlay checkMaxime Dénès
2018-11-23s/let _ =/let () =/ in some places (mostly goptions related)Gaëtan Gilbert
2018-11-22[dev] fix create_overlay wrt branch names containing /Enrico Tassi
2018-11-22Document code owner team creation.Théo Zimmermann
2018-11-21Remove pidetop from CIMaxime Dénès
2018-11-21[camlp5] Remove dependency on camlp5.Emilio Jesus Gallego Arias
2018-11-21Merge PR #8985: [gramlib] [build] Switch make-based system to packed gramlibEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:17:51 +0000