aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2018-10-03Fix issue #8321 "Add more useful addons to the Windows Installer"Michael Soegtrop
2018-10-03Merge PR #8631: [dune] Fix couple of minor bugs in #8617Théo Zimmermann
2018-10-03[dune] [opam] Install `revision` file when building with Dune.Emilio Jesus Gallego Arias
2018-10-03Merge PR #8634: (For v8.9 and master) Remove -compat 8.6 and document the com...Théo Zimmermann
2018-10-03Merge PR #8456: Revert #6651: Use r.(p) syntax to print primitive projectionsHugo Herbelin
2018-10-03Merge PR #8613: [ci] [travis] Remove CI contrib testing from Travis.Gaëtan Gilbert
2018-10-02[doc] [api] Remove `ocamldoc` support in favor of `odoc`Emilio Jesus Gallego Arias
2018-10-02Move the compat-update-process to right after branchingJason Gross
2018-10-02Update dev/doc/release-process: compat+automateJason Gross
2018-10-02[dune] Fix couple of minor bugs in #8617Emilio Jesus Gallego Arias
2018-10-02Merge PR #8625: Fix issue #8611 - Change extensions of log files in WIndows b...Théo Zimmermann
2018-10-02[ci] overlay for elpiEnrico Tassi
2018-10-02Fix issue #8611 - Change extensions of log files in WIndows build to _log.txt...Michael Soegtrop
2018-10-02[ci] [travis] Remove CI contrib testing from Travis.Emilio Jesus Gallego Arias
2018-10-02[dune] Provide workspace file will all OCaml builds tested in CI.Emilio Jesus Gallego Arias
2018-10-02Merge PR #8612: Fix issue 8610 - Change important CI DOS batch files to CRLFThéo Zimmermann
2018-10-02[dune] [doc] Some tweaks to doc + per user flags.Emilio Jesus Gallego Arias
2018-10-02Make the coqpp VERNAC EXTEND behave as the non-FUNCTIONAL camlp5 one.Pierre-Marie Pédrot
2018-10-02Document the coqpp implementation of VERNAC EXTEND.Pierre-Marie Pédrot
2018-10-02Pass unnamed arguments to ML macros.Pierre-Marie Pédrot
2018-10-02Merge PR #7522: [ocaml] Update required OCaml version to 4.05.0Pierre-Marie Pédrot
2018-10-01Fix issue 8610 - Change important CI DOS batch files to CRLFMichael Soegtrop
2018-10-01[ci] Add plugin-tutorial to CI.Emilio Jesus Gallego Arias
2018-10-01Merge PR #8579: [dune] [merlin] Fix some usability issues.Maxime Dénès
2018-09-30Fix issue 8603 Move Windows CI runs to folder C:/ciMichael Soegtrop
2018-09-30Typo in top_printers.ml.Hugo Herbelin
2018-09-27[dune] [merlin] Fix some usability issues.Emilio Jesus Gallego Arias
2018-09-27[ci] Allow `make ci-$contrib` when we have a build under Dune.Emilio Jesus Gallego Arias
2018-09-27Overlays for Ltac2 and Equations.Hugo Herbelin
2018-09-26[ocaml] Update required OCaml version to 4.05.0Emilio Jesus Gallego Arias
2018-09-26[print] Restrict use of "debug" Termops printer.Emilio Jesus Gallego Arias
2018-09-26Merge PR #8534: Checking if low-level name printers are used on purpose or notMaxime Dénès
2018-09-26Merge PR #8419: Remove romega in favor of liaThéo Zimmermann
2018-09-25overlay to test elpi 1.1Enrico Tassi
2018-09-25elpi 1.1.0Enrico Tassi
2018-09-25Remove romegaVincent Laporte
2018-09-25Merge PR #6343: [engine] Remove and deprecate `nf_enter` et al.Pierre-Marie Pédrot
2018-09-24Merge PR #8520: [ci] [docker] Move to OPAM 2.0Gaëtan Gilbert
2018-09-24[engine] Remove and deprecate `nf_enter` et al.Emilio Jesus Gallego Arias
2018-09-24Merge PR #8527: dev/doc/profiling.txt: per-component flame graphsPierre-Marie Pédrot
2018-09-24[ci] [docker] Move to OPAM 2.0Emilio Jesus Gallego Arias
2018-09-24Merge PR #8519: Issue #8514 windows ci failuresThéo Zimmermann
2018-09-23Checking if low-level name printers are used on purpose or not.Hugo Herbelin
2018-09-21dev/doc/profiling.txt: per-component flame graphsAndres Erbsen
2018-09-21Use unique names in windows CI for cygwin and coq install folderMichael Soegtrop
2018-09-21Merge commit 6a8c37c02504463afaa677641d75d9977020edf6 Windows buildfile clean...Michael Soegtrop
2018-09-21[dune] [configure] Allow to set prefix using environment variable.Emilio Jesus Gallego Arias
2018-09-20Update minimum required dependency versions of Sphinx doc.Théo Zimmermann
2018-09-19Fix Windows builds: OPAM has changed its URL schema.Théo Zimmermann
2018-09-19Merge PR #8341: Reduce universe redeclarations (catching AlreadyDeclared)Matthieu Sozeau
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 21:59:07 +0000