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-22Merge PR #8920: Deprecate Typeclasses Axioms Are InstancesPierre-Marie Pédrot
2018-11-22Merge PR #8924: Misc updates to codeownersMaxime Dénès
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-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-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[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-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-20gitlab: Install stdlib doc in build:baseGaëtan Gilbert
2018-11-20Merge PR #9031: Rename gh->bug_ test filesEmilio Jesus Gallego Arias
2018-11-20Merge PR #8982: [proof] Provide better control of "open proofs" exceptions.Pierre-Marie Pédrot
2018-11-20Merge PR #9002: [pfedit] Remove `start_proof` stub from `Pfedit`Pierre-Marie Pédrot
2018-11-20Rename gh->bug_ test filesGaëtan Gilbert
2018-11-20dune: link kernel in checker instead of copying filesGaëtan Gilbert
2018-11-20Fix dune-dbg using checker/main -> checker/coqchkGaëtan Gilbert
2018-11-20Merge PR #7925: Clean transparent stateMaxime Dénès
2018-11-19Minor update to micromega.rstsoraros
2018-11-19[pfedit] Remove `start_proof` stub from `Pfedit`Emilio Jesus Gallego Arias
2018-11-19Merge PR #8987: Deprecate hint declaration/removal with no specified databasePierre-Marie Pédrot
2018-11-19Merge PR #9003: [vernacextend] Consolidate extension points APIPierre-Marie Pédrot
2018-11-19Merge PR #9026: [Documentation/Combined Scheme] TypoThéo Zimmermann
2018-11-19Typo: comment does not match codeOlivier Laurent
2018-11-19Merge PR #8894: Print full binders in subtyping incompatible polymorphism error.Pierre-Marie Pédrot
2018-11-19Merge PR #8902: [ltac] Use CAst nodes in the tactic AST.Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-25 18:28:15 +0000