aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2019-11-27[release] Update files for 8.12 release per release process.Emilio Jesus Gallego Arias
2019-11-26Fix #11039: proof of False with template poly and nonlinear universesGaëtan Gilbert
2019-11-25Error fatally if update-compat.py gets no flagJason Gross
2019-11-21Merge PR #11154: add tlc to ci; please proof read very carefully and test. th...Emilio Jesus Gallego Arias
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-11-21add tlc to ci; please proof read very carefully and test. thankscharguer
2019-11-12Printing name of change log file in changelog script.Hugo Herbelin
2019-11-12Expand documentation about generating a Docker image.Pierre-Marie Pédrot
2019-11-08Merge PR #11042: The "univ poly can capture global univs" checker side bug is...Théo Zimmermann
2019-11-07The "univ poly can capture global univs" checker side bug is fixedGaëtan Gilbert
2019-11-05overlayEnrico Tassi
2019-11-05elpi 1.8Enrico Tassi
2019-11-01Merge PR #9867: Add primitive floats (binary64 floating-point numbers)Maxime Dénès
2019-11-01Merge PR #11015: [Nix] Update reference to nixpkgsThéo Zimmermann
2019-11-01Add overlaysPierre Roux
2019-11-01Add primitive floats to 'vm_compute'Guillaume Bertholon
2019-11-01Add primitive float computation in Coq kernelGuillaume Bertholon
2019-10-31Merge PR #10933: Add clarification in make-changelog.Gaëtan Gilbert
2019-10-31[Nix] Update reference to nixpkgsVincent Laporte
2019-10-30Make changelog script aware of trailing slashes.Arthur Azevedo de Amorim
2019-10-29[declare] Use helper function for `fix_exn` instead of relying on internals.Emilio Jesus Gallego Arias
2019-10-29Merge PR #10892: [engine] Remove UnivGen.global_of_constrPierre-Marie Pédrot
2019-10-29Merge PR #10942: Describe XML tags used for highlighting diff textThéo Zimmermann
2019-10-27Fix link to `coq-notes.md`Michael D. Adams
2019-10-25[funind] Remove duplicate save function.Emilio Jesus Gallego Arias
2019-10-24Describe XML tags used for highlighting diff textJim Fehrle
2019-10-18Merge PR #10904: Fix a De Bruijn bug in the computation of term relevance in ...Gaëtan Gilbert
2019-10-17Fix link to `xml-protocol.md` in `dev/README.md`Michael D. Adams
2019-10-16[engine] Remove UnivGen.global_of_constrVincent Laporte
2019-10-16Fix a De Bruijn bug in the computation of term relevance in the kernel.Pierre-Marie Pédrot
2019-10-14Merge PR #10883: Doc update with mlg extension - fix #10855Jason Gross
2019-10-14Merge PR #10811: Allow SProp default onPierre-Marie Pédrot
2019-10-13Doc update with mlg extension - fix #10855mcaci
2019-10-11Merge PR #10828: Simple script to prefill a changelog entryThéo Zimmermann
2019-10-11Merge PR #10850: chmod -x some filesGaëtan Gilbert
2019-10-11Simple script to prefill a changelog entryGaëtan Gilbert
2019-10-08Merge PR #10840: Release process: release notesThéo Zimmermann
2019-10-08Merge PR #10770: [ci] Add mit-pdos/perennialEmilio Jesus Gallego Arias
2019-10-07chmod -x some filesJason Gross
2019-10-07Release process: release notesVincent Laporte
2019-10-07Merge PR #9933: Add a few missing notes to the release doc.Vincent Laporte
2019-10-04overlays for sprop default onGaëtan Gilbert
2019-10-03Merge PR #10727: [library] Move `Declaremods` to `vernac/`Pierre-Marie Pédrot
2019-10-02Merge PR #10768: [ci] Update to OCaml 4.09.0, drop now useless "trunk" jobs.Gaëtan Gilbert
2019-09-25Adding documentation for the move of sections data to kernel.Pierre-Marie Pédrot
2019-09-20[ci] Add mit-pdos/perennialTej Chajed
2019-09-19[ci] Update supported OCaml version to 4.09.0Emilio Jesus Gallego Arias
2019-09-18[declaremods] Remove abstraction layer over module interpretation.Emilio Jesus Gallego Arias
2019-09-17Merge PR #10738: update elpi to 1.7Gaëtan Gilbert
2019-09-17Overlay for VSTMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:15:03 +0000