aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-12-16[make] Add _build_boot to find_skip_dirsEmilio Jesus Gallego Arias
2019-12-16[dune] Use a special directory for the boot buildEmilio Jesus Gallego Arias
2019-12-16[ci] [dune] Updates to dune builds artifacts.Emilio Jesus Gallego Arias
2019-12-14Make prodn look more like productionlistJim Fehrle
2019-12-14Being explicit on existence of a remote link.Hugo Herbelin
2019-12-14Fix refine and eapply to mark shelved goals as non-resolvable, alwaysMatthieu Sozeau
2019-12-14Merge PR #11251: [micromega] reformating using ocamlformatMaxime Dénès
2019-12-13[micromega] Enable ocamlformat.Emilio Jesus Gallego Arias
2019-12-13Merge PR #11259: [make] Rename Makefile to Makefile.make and INSTALL to INSTA...Théo Zimmermann
2019-12-13Merge PR #11257: [dev] [ocaml] Add ocamlformat configuration.Théo Zimmermann
2019-12-13Add ocamlformat dependency to Nix fileMaxime Dénès
2019-12-13Merge PR #11283: Split up stdlib install command (too long)Maxime Dénès
2019-12-13[build] Allow the selection of build system using an env var.Emilio Jesus Gallego Arias
2019-12-13[doc] [INSTALL] split make-based install instructions to its own file.Emilio Jesus Gallego Arias
2019-12-13[doc] [INSTALL] Port INSTALL to markdown format.Emilio Jesus Gallego Arias
2019-12-13[make] Rename Makefile to Makefile.makeEmilio Jesus Gallego Arias
2019-12-13[fmt] [dune] Add ocamlformat configuration.Emilio Jesus Gallego Arias
2019-12-13[ci] [docker] Install ocamlformat in docker images.Emilio Jesus Gallego Arias
2019-12-13Split up stdlib install command (too long)Gaëtan Gilbert
2019-12-13Fix Equation's ci scriptMatthieu Sozeau
2019-12-13Use ~strict argument consistently in push_context/push_context_set intfsMatthieu Sozeau
2019-12-13Merge PR #10657: restrict minimization to set to flexiblesMaxime Dénès
2019-12-13Merge PR #11281: [vm] Untabify the VM C code.Maxime Dénès
2019-12-12Merge PR #11278: Clean libobject stuffGaëtan Gilbert
2019-12-12restrict minimization to set to flexiblesGaëtan Gilbert
2019-12-12[vm] Untabify the VM C code.Emilio Jesus Gallego Arias
2019-12-12Fix #11195 and add other improvements: try loading .vio (and not just .vo) if...charguer
2019-12-12Merge PR #11264: Type safe summary & libobject implementationEmilio Jesus Gallego Arias
2019-12-12Merge PR #11276: Fixing #10750: "Print Visibility" raises Not_found on only-p...Emilio Jesus Gallego Arias
2019-12-11Remove the unused add_leaves Libobject primitive.Pierre-Marie Pédrot
2019-12-11Remove the reliance of ring objects on the named part.Pierre-Marie Pédrot
2019-12-11Merge PR #11201: remove *.vos and *.vok file in "make clean"Enrico Tassi
2019-12-11Merge PR #11262: [hashset] Don't use deprecated Obj.truncatePierre-Marie Pédrot
2019-12-11Merge PR #11271: Fixing #9893. "Specialize with" would not support hyps type ...Pierre-Marie Pédrot
2019-12-10Fixing #10750 (anomaly of "Print Visibility" on only-printing notations).Hugo Herbelin
2019-12-10[library] [cleanup] Remove code duplication.Emilio Jesus Gallego Arias
2019-12-10Merge PR #10202: Slightly more robust manual implicit argumentsEmilio Jesus Gallego Arias
2019-12-10Merge PR #11269: Several cleanups and factorization in scheme declarationsEmilio Jesus Gallego Arias
2019-12-10Fixing #9893 (Letins not supported in the specialized hypothesis).Pierre Courtieu
2019-12-10Side-effect free wrapper around already declared schemes.Pierre-Marie Pédrot
2019-12-10Make explicit that users should not observe return values of scheme functions.Pierre-Marie Pédrot
2019-12-10Simplify internal flags in scheme declarations.Pierre-Marie Pédrot
2019-12-10Merge PR #11268: dune: Add byte mode for coqchk and coqide (fix dune-dbg for ...Emilio Jesus Gallego Arias
2019-12-09dune: Add byte mode for coqchk and coqide (fix dune-dbg for dune 2)Gaëtan Gilbert
2019-12-09Type-safe implementation of libobjects.Pierre-Marie Pédrot
2019-12-09Simplify the implementation of Summary by specifying the type of ML-MODULES.Pierre-Marie Pédrot
2019-12-09Type-safe implementation of summary state.Pierre-Marie Pédrot
2019-12-09Merge PR #11255: Fix #11254: "coqtop --version" working even in the middle of...Emilio Jesus Gallego Arias
2019-12-09Fixes #11254 (not requiring coqlib to be set to report about coqtop version).Hugo Herbelin
2019-12-09Merge PR #10829: Section.t is never emptyPierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-17 00:27:51 +0000