aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-03-19CoqIDE: Deactivating the user queries and wizard tactics configuration.Hugo Herbelin
2019-03-19CoqIDE: Deactiving the list and string configuration tools.Hugo Herbelin
2019-03-19CoqIDE: Ensuring that gtk is initialized before other inits done in ideutils.ml.Hugo Herbelin
2019-03-19CoqIDE: Change name of module: Sourceview2 -> Sourceview3Hugo Herbelin
2019-03-19CoqIDE: Adapt configuration to require lablgtk3 and gtksourceview3.Hugo Herbelin
2019-03-19CoqIDE: Replacing Tooltips with gtk+3 compliant Tooltip.Hugo Herbelin
2019-03-19Configuration: expand a version number to three fields when only 1 or 2 field...Hugo Herbelin
2019-03-18Merge PR #9777: [Nix] A few improvementsThéo Zimmermann
2019-03-18Merge PR #9740: Make NotConvertibleVect exception internal to typeopsPierre-Marie Pédrot
2019-03-18Merge PR #9794: Use local universe names when printing universe inconsistencyPierre-Marie Pédrot
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-18[nix] Store the reference to nixpkgs in a dedicated fileVincent Laporte
2019-03-17Use local universe names when printing universe inconsistencyGaëtan Gilbert
2019-03-17Merge PR #9787: iconv bedrock2 CI output to UTF-8Emilio Jesus Gallego Arias
2019-03-17iconv bedrock2 CI output to UTF-8Andres Erbsen
2019-03-16Merge PR #9784: Add test-suite to Paramcoq CIEmilio Jesus Gallego Arias
2019-03-16Add test-suite to Paramcoq CIPierre Roux
2019-03-15Merge PR #9783: [ci] [gitlab] Replace YAML grafting by `extends: ` declaration.Gaëtan Gilbert
2019-03-15[ci] [gitlab] Replace YAML grafting by `extends: ` declaration.Emilio Jesus Gallego Arias
2019-03-15Merge PR #9694: remove unused import of osEmilio Jesus Gallego Arias
2019-03-15Merge PR #8817: SProp: the definitionally proof irrelevant universePierre-Marie Pédrot
2019-03-15Merge PR #9425: BinInt: 3 lemmas about testbit, mod _ 2^, onesVincent Laporte
2019-03-14Merge PR #9771: Exposes Coq_micromega.dump_proof_term to allow a use independ...Vincent Laporte
2019-03-14Fix various dummy Relevant in ssrGaëtan Gilbert
2019-03-14Overlays for SPropGaëtan Gilbert
2019-03-14Documentation for SPropGaëtan Gilbert
2019-03-14Add StrictProp.v with basic SProp related definitionsGaëtan Gilbert
2019-03-14Put [@inline] on CClosure.Mark functionsGaëtan Gilbert
2019-03-14Switch order eqappr/check relevance in conversion.Gaëtan Gilbert
2019-03-14mutable relevance marks in fconstrGaëtan Gilbert
2019-03-14Test for SkySkimmer/coq#13Gaëtan Gilbert
2019-03-14Repair relevance marks in-kernel.Gaëtan Gilbert
2019-03-14Enable proof irrelevance for SProp.Gaëtan Gilbert
2019-03-14Inductives in SProp, forbid primitive records with only sprop fieldsGaë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-14Make Sorts.t privateGaëtan Gilbert
2019-03-14Fix Require in output test for reals syntaxGaëtan Gilbert
2019-03-14BinInt: 3 lemmas about testbit, mod _ 2^, onesAndres Erbsen
2019-03-14Merge PR #9691: [dune] [ide] Don't install the internal CoqIDE UI library.Théo Zimmermann
2019-03-14Merge PR #9700: [dune] [checker] Don't install internal checker library.Théo Zimmermann
2019-03-14Exposes Coq_micromega.dump_proof_term to allow a use independent from tacticsChantal Keller
2019-03-13Merge PR #9736: Don't coqchk the test suite prerequisitesEnrico Tassi
2019-03-13Merge PR #9757: [refman] Add 'warn' option to coqtop directive.Emilio Jesus Gallego Arias
2019-03-13Merge PR #9723: Fix undefined gramlib_MLLIB_DEPENDENCIES in make installEnrico Tassi
2019-03-13Merge PR #9739: [dune] [configure] Fix `gramlib` path for hardcoded includes.Enrico Tassi
2019-03-13Merge PR #9748: [dune] Add shim for coqtop.byteThéo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-24 16:31:01 +0000