aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-11-26[ci] Set windows jobs to allow_failure: trueEmilio Jesus Gallego Arias
2018-11-26Merge PR #9074: Fix ocamldebug-coq for packed gramlibEmilio Jesus Gallego Arias
2018-11-26Fix ocamldebug-coq for packed gramlibGaëtan Gilbert
2018-11-26Put -indices-matter in typing_flagsGaë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-26[ssreflect] Export more parsing witnesses.Emilio Jesus Gallego Arias
2018-11-25Merge PR #9036: Add bodies to sphinx objects.Clément Pit-Claudel
2018-11-24[toplevel] Allow to specify default options.Emilio Jesus Gallego Arias
2018-11-24[toplevel] Move compilation-related functions to their own module.Emilio Jesus Gallego Arias
2018-11-24[toplevel] Move command line path processing to CoqargsEmilio Jesus Gallego Arias
2018-11-24Merge PR #8996: Fix #8937: inductive conversion in coqchk subtypingHugo Herbelin
2018-11-24Merge PR #8950: [topfmt] Add phase attribute for toplevel printing.Hugo Herbelin
2018-11-24[checker] Remove duplicated from checker / clibEmilio Jesus Gallego Arias
2018-11-24Merge PR #8929: Fix fixpoint related lifting in open recursors + related clea...Pierre-Marie Pédrot
2018-11-24Merge PR #8933: Make initial evar map argument to check_evars_are_solved opti...Pierre-Marie Pédrot
2018-11-24Merge PR #9022: [ci] [doc] Split user/developer README, add info about Nix/Do...Théo Zimmermann
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 #8890: Looking for notation both before or after removal of top coer...Emilio 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-23Merge PR #9051: Camlp5 safe API strikes backEmilio Jesus Gallego Arias
2018-11-23Merge PR #8995: Don't redeclare constraints of fields in IncludeMaxime Dénès
2018-11-23Adding overlay.Pierre-Marie Pédrot
2018-11-23Remove the unsafe API from gramlib.Pierre-Marie Pédrot
2018-11-23Remove the unsafe camlp5 API from the Coq codebase.Pierre-Marie Pédrot
2018-11-23Only use Coq API in coqpp.Pierre-Marie Pédrot
2018-11-23Port Pcoq to safe camlp5 API.Pierre-Marie Pédrot
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-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-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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-28 15:14:04 +0000