aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-03-01Merge PR #9006: [dune] Add quickide target for building of IDE.Théo Zimmermann
2019-03-01[dune] Add quickide target for building of IDE.Emilio Jesus Gallego Arias
2019-03-01Merge PR #9656: Fix deprecation warningEmilio Jesus Gallego Arias
2019-03-01Merge PR #9610: Fix #9110: mention check-owners-pr.shEmilio Jesus Gallego Arias
2019-03-01Merge PR #9619: Print location for type error in pattern variableEmilio Jesus Gallego Arias
2019-03-01Merge PR #9672: [doc] ssr: Fix the documentation of `by [tacs]`Théo Zimmermann
2019-03-01[doc] ssr: Fix the documentation of `by [tacs]`Erik Martin-Dorel
2019-02-28Fix #9110: mention check-owners-pr.shThéo Zimmermann
2019-02-28Merge PR #9621: [ide] only use Coq_config for the URL of the manualPierre-Marie Pédrot
2019-02-28Print location for type error in pattern variableGaëtan Gilbert
2019-02-28Merge PR #9578: Document primitive integersThéo Zimmermann
2019-02-28Merge PR #9649: [dune] Simple rule to generate Stdlib's documentation.Théo Zimmermann
2019-02-27[ide] only use Coq_config for the URL of the manualEnrico Tassi
2019-02-27Merge PR #9622: Fix makefile deps for coqidePierre-Marie Pédrot
2019-02-27[make] coqide target needs STM workersEnrico Tassi
2019-02-27[ide] coqtop -> coqidetop in user messagesEnrico Tassi
2019-02-26[dune] Simple rule to generate Stdlib's documentation.Emilio Jesus Gallego Arias
2019-02-26Merge PR #9612: Fix #9526: Registering inductives for primitive integers does...Vincent Laporte
2019-02-26Fix deprecation warningEnrico Tassi
2019-02-26Fix #9526: Registering inductives for primitive integers doesn't check enoughMaxime Dénès
2019-02-26Merge PR #9648: [Gitlab-CI] Deploy api documentation to GH-PagesEmilio Jesus Gallego Arias
2019-02-26Merge PR #9653: Fix gitattributes for Makefile.duneEmilio Jesus Gallego Arias
2019-02-26Fix gitattributes for Makefile.duneGaëtan Gilbert
2019-02-26Merge PR #9567: [vernac] Unify declaration hooks.Maxime Dénès
2019-02-25[Manual] Refactor documentation of internal registration commandsVincent Laporte
2019-02-25[Manual] Document primitive integersVincent Laporte
2019-02-25[Manual] Document the “Primitive” commandVincent Laporte
2019-02-25[Manual] Document “Register Inline”Vincent Laporte
2019-02-25[Manual] Document “Register” to kernel namespaceVincent Laporte
2019-02-25Merge PR #9620: Stdlib HTML documentation: fix a few absolute URLsThéo Zimmermann
2019-02-25Merge PR #9511: Enable whitespace checking for some forgotten files.Théo Zimmermann
2019-02-25[Gitlab-CI] Deploy api documentation to GH-PagesVincent Laporte
2019-02-23[vernac] Unify declaration hooks.Emilio Jesus Gallego Arias
2019-02-22Merge PR #9364: Apply implicit binders to Hypothesis inside sections.Gaëtan Gilbert
2019-02-22Merge PR #9576: [library] Remove `-boot` option.Enrico Tassi
2019-02-22Apply implicit binders to Hypothesis inside sections.Jasper Hugunin
2019-02-22Merge PR #9561: [dev] Add include versions for Dune builds.Théo Zimmermann
2019-02-22Merge PR #9314: Enrich implicits for instancesGaëtan Gilbert
2019-02-22Merge PR #9539: [coqdoc] Add the From keywordGaëtan Gilbert
2019-02-22[library] Remove `-boot` option.Emilio Jesus Gallego Arias
2019-02-22Merge PR #9614: Fix #9613 use -coqlib when invoking coqchkEmilio Jesus Gallego Arias
2019-02-21Merge PR #9588: [azure] [ci] Build on Windows using Dune.Gaëtan Gilbert
2019-02-21Stdlib HTML documentation: fix a few absolute URLsVincent Laporte
2019-02-21Merge PR #9577: [Namegen] Use Global.exists_objlabel in `next_global_ident_away`Pierre-Marie Pédrot
2019-02-21Merge PR #9618: [dev/tools/create_overlays] remove trailing whitespaceEmilio Jesus Gallego Arias
2019-02-21remove meta trailing whitespaceEnrico Tassi
2019-02-21Fix #9613 use -coqlib when invoking coqchkGaëtan Gilbert
2019-02-21Merge PR #9388: merge-pr.sh: fix #9387: quick_conf doesn't work in emacs shel...Emilio Jesus Gallego Arias
2019-02-20Merge PR #9529: Change Primitive message: "is registered" -> "is declared".Vincent Laporte
2019-02-20Enable whitespace checking for some forgotten files.Gaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-12 08:02:34 +0000