aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2019-03-27[proof_global] [ci] Overlays for removal of imperative state.Emilio Jesus Gallego Arias
2019-03-27[vernac] Adapt to removal of imperative proof state.Emilio Jesus Gallego Arias
2019-03-27Merge PR #9807: Fix CoqIDE progress bar.Enrico Tassi
2019-03-27[nix] Update reference to nixpkgsVincent Laporte
2019-03-27Merge PR #9837: Fix some critical-bugs informationsThéo Zimmermann
2019-03-26Fix reproduction info for some past critical bugsGaëtan Gilbert
2019-03-26Incorrect details in critical bug info (prop_set_proof_irrelevance)Gaëtan Gilbert
2019-03-26Improve the backport script.Guillaume Melquiond
2019-03-22Merge PR #9602: [kernel] termination checking: backtrack on stuck case, fix, ...Maxime Dénès
2019-03-21Merge PR #9774: Remove clutter by moving historic unmaintained dev/doc files ...Emilio Jesus Gallego Arias
2019-03-20Add overlays for printer API changesMaxime Dénès
2019-03-20Stop accessing proof env via Pfedit in printersMaxime Dénès
2019-03-19Merge PR #9647: [default.nix] Enable parallel buildThéo Zimmermann
2019-03-19Fixed incompatibility between new cygwin pkg-config and duneMichael Soegtrop
2019-03-19[win] Mostly fixed GTK3 CoqIDE Windows build (icons don't work, only 64 but t...Michael Soegtrop
2019-03-19[coqide] [ci] Update GTK toolchain to lablgtk3Emilio Jesus Gallego Arias
2019-03-19CoqIDE: Adapt configuration to require lablgtk3 and gtksourceview3.Hugo Herbelin
2019-03-18[nix] Update reference to nixpkgsVincent Laporte
2019-03-18[nix] Move nixpkgs.nix into the dev/ directoryVincent Laporte
2019-03-18[nix-ci] Use “master” versions of “coq-ext-lib” and “simple-io”Vincent Laporte
2019-03-18[nix-ci] Share the reference to nixpkgs with default.nixVincent Laporte
2019-03-17iconv bedrock2 CI output to UTF-8Andres Erbsen
2019-03-16Add test-suite to Paramcoq CIPierre Roux
2019-03-15Remove clutter by moving historic unmaintained dev/doc files to an archive su...Théo Zimmermann
2019-03-14Overlays for SPropGaëtan Gilbert
2019-03-14Documentation for SPropGaëtan Gilbert
2019-03-14Add relevance marks on binders.Gaëtan Gilbert
2019-03-14Add a non-cumulative impredicative universe SProp.Gaëtan Gilbert
2019-03-13Merge PR #9748: [dune] Add shim for coqtop.byteThéo Zimmermann
2019-03-12Merge PR #9389: Implement a method for manual declaration of implicits.Emilio Jesus Gallego Arias
2019-03-12Merge PR #7819: Ho matching occ selEnrico Tassi
2019-03-12[dune] Add shim for coqtop.byteEmilio Jesus Gallego Arias
2019-03-11[ci] [docker] Upgrade odoc to 1.4.0Emilio Jesus Gallego Arias
2019-03-08Fix issue #9722 pkg-config not foundMichael Soegtrop
2019-03-07Merge PR #9133: Move README-V1-V5 to credits chapterClément Pit-Claudel
2019-03-06Merge PR #9476: Constructor type information uses the expanded form.Gaëtan Gilbert
2019-03-05[CI] Add stdlib2Vincent Laporte
2019-03-03[dune] Shim for starting `coqtop/coqide` with minimal config.Emilio Jesus Gallego Arias
2019-03-01Update coqdev.el to use -topfileGaëtan Gilbert
2019-03-01Merge PR #9610: Fix #9110: mention check-owners-pr.shEmilio Jesus Gallego Arias
2019-02-28Constructor type information uses the expanded form.Pierre-Marie Pédrot
2019-02-28Move content of README-V1-V5 to Credits chapter.Théo Zimmermann
2019-02-28Remove forgotten link to removed document cic.dtd.Théo Zimmermann
2019-02-28Fix #9110: mention check-owners-pr.shThéo Zimmermann
2019-02-28Overlays for coq/coq#9389 implicits API cleanupGaëtan Gilbert
2019-02-28Implement a method for manual declaration of implicits.Jasper Hugunin
2019-02-26[default.nix] Enable parallel buildVincent Laporte
2019-02-23[vernac] Unify declaration hooks.Emilio Jesus Gallego Arias
2019-02-22overlay for EquationsEnrico Tassi
2019-02-22Merge PR #9561: [dev] Add include versions for Dune builds.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:55:32 +0000