aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2019-06-28Merge PR #10434: [declare] Fine tuning of Hook type.Pierre-Marie Pédrot
2019-06-27Fix dev/doc/README.md by removing redundant, outdated info.Théo Zimmermann
2019-06-26[ci] Overlays for #10337Emilio Jesus Gallego Arias
2019-06-26[ci] Overlays for #10434Emilio Jesus Gallego Arias
2019-06-26Merge PR #10401: Fix printers testEmilio Jesus Gallego Arias
2019-06-24[proof] dev/doc/changes for the last refactoringsEmilio Jesus Gallego Arias
2019-06-24[ci] Overlays for #10316Emilio Jesus Gallego Arias
2019-06-24[test-suite] Fix printers testGaëtan Gilbert
2019-06-24Add overlays.Pierre-Marie Pédrot
2019-06-21[ci] overlay for coq-elpiEnrico Tassi
2019-06-21[docker] [ci] Update Elpi to version 1.4.0Enrico Tassi
2019-06-20Merge PR #9645: [proof] Remove terminator type, unifying regular and obligati...Pierre-Marie Pédrot
2019-06-18Merge PR #9977: [dune] Support for coqide as an ocamldebug target.Gaëtan Gilbert
2019-06-17Merge PR #10362: Kernel-side delaying of polymorphic opaque constantsGaëtan Gilbert
2019-06-17Adapt change-header script to handle shebangs in addition to Emacs comments.Théo Zimmermann
2019-06-17Update py-style headers to new year.Théo Zimmermann
2019-06-17Update c-style headers to new year.Théo Zimmermann
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-06-17Update change-header script to support updating more than just files with ml-...Théo Zimmermann
2019-06-17Adding overlays.Pierre-Marie Pédrot
2019-06-17Merge PR #10382: Ensuring that regular expression filtering in CI (iris) work...Gaëtan Gilbert
2019-06-17[dune] Support for coqide as an ocamldebug target.Emilio Jesus Gallego Arias
2019-06-17[ci] Overlays for #9645Emilio Jesus Gallego Arias
2019-06-16Ensuring regexp filtering in ci works on MacOS X.Hugo Herbelin
2019-06-16Overlays for Mtac2 and Equations.Hugo Herbelin
2019-06-13Merge PR #10319: [STM] Only VtSideeff can be VtNow/VtLaterEnrico Tassi
2019-06-13Merge PR #10360: Resolve #9885 CoqIDE does not work on WindowsEmilio Jesus Gallego Arias
2019-06-12Merge PR #10358: [docker] update elpi to 1.3.1Gaëtan Gilbert
2019-06-12Merge PR #10180: `deprecated` attribute support for notations and syntactic d...Théo Zimmermann
2019-06-11overlayEnrico Tassi
2019-06-11Adding an overlay for Equations.Pierre-Marie Pédrot
2019-06-11Resolve #9885 CoqIDE does not work on WindowsMichael Soegtrop
2019-06-11Overlays for 10319Gaëtan Gilbert
2019-06-11STM: encode in static types that vernac_when is only used when VtSideffGaëtan Gilbert
2019-06-11update elpi to 1.3.1Enrico Tassi
2019-06-10[ci] [fiat-crypto] Enable more targets on Coq CIJason Gross
2019-06-09[ci] Overlays for move_termination_routine_outEmilio Jesus Gallego Arias
2019-06-09[proof] Move proofs that have an associated constant to `Lemmas`Emilio Jesus Gallego Arias
2019-06-09Merge PR #8726: More robust treatment of the Discharge statusPierre-Marie Pédrot
2019-06-09Merge PR #10309: CI: Test ml compilation of each commit in a PR in lint jobEmilio Jesus Gallego Arias
2019-06-08Overlays for Elpi + Equations + Mtac2 + fiat parsers + paramcoq.Hugo Herbelin
2019-06-08Cleaning the status of Local Definition and similar.Hugo Herbelin
2019-06-07Merge PR #10236: Update coqdev-setup-proofgeneral for duneEmilio Jesus Gallego Arias
2019-06-07simple IO CI branch is now `master`Gaëtan Gilbert
2019-06-06CI: Test ml compilation of each commit in a PR in lint jobGaëtan Gilbert
2019-06-06Remove old overlaysGaëtan Gilbert
2019-06-06Merge PR #8988: Towards unifying parsing/printing for universe instances and ...Gaëtan Gilbert
2019-06-06`deprecated` attribute support for notations and syntactic definitionsMaxime Dénès
2019-06-04update overlaysEnrico Tassi
2019-06-04VernacExtend produces vernac_interp_phase ADT (old name functional_vernac)Gaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:07:46 +0000