aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-11-23Overlay for private polymorphic universesGaëtan Gilbert
2018-11-23Fix printing of private universes.Gaëtan Gilbert
2018-11-23Doc for Private Polymorphic Universes.Gaëtan Gilbert
2018-11-23change vernac_qed_type to have [VtKeep of vernac_keep_as]Gaëtan Gilbert
2018-11-23Local universes for opaque polymorphic constants.Gaëtan Gilbert
2018-11-23Merge PR #9021: merge-pr: Improve overlay checkMaxime Dénès
2018-11-23Fix #8937: inductive conversion in coqchk subtypingGaëtan Gilbert
2018-11-23s/let _ =/let () =/ in some places (mostly goptions related)Gaëtan Gilbert
2018-11-23Goptions.declare_* functions return unit instead of a write_functionGaëtan Gilbert
2018-11-22The usual order of strings.Yao Li
2018-11-22Merge PR #8920: Deprecate Typeclasses Axioms Are InstancesPierre-Marie Pédrot
2018-11-22[dev] fix create_overlay wrt branch names containing /Enrico Tassi
2018-11-22Merge PR #8924: Misc updates to codeownersMaxime Dénès
2018-11-22Document code owner team creation.Théo Zimmermann
2018-11-22New code owner team parsing-maintainers.Théo Zimmermann
2018-11-22New code owner team ssreflect-maintainers.Théo Zimmermann
2018-11-22It seems that Hugo is also willing to assume a maintainer role on CoqIDE.Théo Zimmermann
2018-11-22All dune files are owned by dune code owners.Théo Zimmermann
2018-11-22Disable deprecation warnings in compat files.Gaëtan Gilbert
2018-11-22Deprecate Typeclasses Axioms Are InstancesGaëtan Gilbert
2018-11-22Merge PR #8967: Fix #8922 (uncaught pp_diff exception)Hugo Herbelin
2018-11-22Merge PR #9049: [default.nix] Add graphviz for STM DAG printerVincent Laporte
2018-11-22[default.nix] Add graphviz for STM DAG printerMaxime Dénès
2018-11-21Merge PR #8945: [camlp5] Remove dependency on camlp5.Pierre-Marie Pédrot
2018-11-21Remove pidetop from CIMaxime Dénès
2018-11-21Merge PR #9005: More informative error on vo validation failurePierre-Marie Pédrot
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
2018-11-21Merge PR #8975: Minor update to micromega.rstThéo Zimmermann
2018-11-21More informative error on vo validation failureGaëtan Gilbert
2018-11-21Add overlay for solve-remaining-evars-initial-argGaëtan Gilbert
2018-11-21Make initial evar map argument to check_evars_are_solved optional.Gaëtan Gilbert
2018-11-21Merge PR #8961: dune: link kernel in checker instead of copying filesPierre-Marie Pédrot
2018-11-21Merge PR #8998: [legacy proof engine] Remove some cruft.Pierre-Marie Pédrot
2018-11-21[sphinx] Progress towards closing #7602: remove most objects without a body.Théo Zimmermann
2018-11-21[legacy proof engine] Remove some cruft.Emilio Jesus Gallego Arias
2018-11-21[gramlib] [build] Switch make-based system to packed gramlibEmilio Jesus Gallego Arias
2018-11-20Merge PR #8948: [dune] Some tweaks to docs.Théo Zimmermann
2018-11-20Merge PR #9035: [dune] Only build printers when the ltac plugin is available.Théo Zimmermann
2018-11-20[dune] Only build printers when the ltac plugin is available.Emilio Jesus Gallego Arias
2018-11-20Merge PR #8959: [dune] [ide] Install data files.Enrico Tassi
2018-11-20Notations: Trying using a notation with or w/o removal of coercions.Hugo Herbelin
2018-11-20Merge PR #9016: PRINT_LOGS=1 in appveyor test suite runEnrico Tassi
2018-11-20Merge PR #9017: Remove SSR profilingEnrico Tassi
2018-11-20Merge PR #9033: gitlab: Install stdlib doc in build:baseEmilio Jesus Gallego Arias
2018-11-20Add a check that the return stack of an FProd is indeed empty.Pierre-Marie Pédrot
2018-11-20Use a closure for the domain argument of FProd.Pierre-Marie Pédrot
2018-11-20More efficient implementation of type_of_apply.Pierre-Marie Pédrot
2018-11-20Do not wrap FProd return types in a closure.Pierre-Marie Pédrot
2018-11-20gitlab: Install stdlib doc in build:baseGaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 14:15:12 +0000