aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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-25add testcase for primitive projectionEnrico Tassi
2019-02-25Fix #9631: Instance: anomaly grounding non evar-free termGaëtan Gilbert
2019-02-25[kernel] termination checking backtracks on stuck primitive projectionEnrico Tassi
2019-02-25add testcase for fixEnrico Tassi
2019-02-25[kernel] termination checking backtracks on stuck fixEnrico Tassi
2019-02-25add test case for "match"Enrico Tassi
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-22update CHANGESEnrico Tassi
2019-02-22overlay for EquationsEnrico Tassi
2019-02-22[kernel] termination checking backtracks on stuck caseEnrico Tassi
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-22Implement hmap.updateGaëtan Gilbert
2019-02-22[library] Remove `-boot` option.Emilio Jesus Gallego Arias
2019-02-22[lib] Add `Map.update` from OCaml 4.06Emilio 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
2019-02-20Merge PR #9457: Correct W-Ind in Cic description of the reference manual.Théo Zimmermann
2019-02-20[paths] Try to be more portable on Win32Emilio Jesus Gallego Arias
2019-02-20[azure] [ci] Build on Windows using Dune.Emilio Jesus Gallego Arias
2019-02-20Merge PR #9560: [coqlib] Remove `-boot` option for setting the coqlibEnrico Tassi
2019-02-20Merge pull request coq/ltac2#108 from ejgallego/fix_warnPierre-Marie Pédrot
2019-02-20[coq] Fix OCaml warnings.Emilio Jesus Gallego Arias
2019-02-19Merge PR #9501: Sphinx: fail when a command fails + other stuffClément Pit-Claudel
2019-02-19Merge PR #9297: Two fixes in printing notations with patternsEmilio Jesus Gallego Arias
2019-02-19Merge PR #9604: Gramlib: Fixes #9358 (ensuring that requested locations are e...Emilio Jesus Gallego Arias
2019-02-19Merge PR #9603: Make inductive cumulativity flag local to vernacentriesEmilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 12:10:12 +0000