aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-01-02Merge PR #9276: Remove dead code from CClosure.Maxime Dénès
2018-12-27Merge PR #9277: [dune] Build refman with fatal warnings like in the Makefile ...Emilio Jesus Gallego Arias
2018-12-27Merge PR #9224: Move lint job to gitlabEmilio Jesus Gallego Arias
2018-12-26[dune] Build refman with fatal warnings by default like in the Makefile build.Théo Zimmermann
2018-12-26Merge PR #8734: Make diffs work for more input stringsHugo Herbelin
2018-12-25Merge PR #9249: Fixing printing bug due to using equality wrongly checking ha...Emilio Jesus Gallego Arias
2018-12-25Merge PR #9278: [ci] Annotate plugins and libraries.Emilio Jesus Gallego Arias
2018-12-25Fixing printing bug due to using equality ill-checking hash key of kernel name.Hugo Herbelin
2018-12-25Adding a comparison combinator for pairs.Hugo Herbelin
2018-12-23[ci] Annotate plugins and libraries.Théo Zimmermann
2018-12-23Remove dead code from CClosure.Pierre-Marie Pédrot
2018-12-23Merge PR #9243: Fix line ending issues (azure related)Michael Soegtrop
2018-12-22Merge PR #9248: Fix #7904: update proofview env after ltac constr:()Pierre-Marie Pédrot
2018-12-21Merge PR #9247: Fix typo in gallina specification language docThéo Zimmermann
2018-12-21Merge PR #9266: Make @SkySkimmer an owner of test-suite/report.shThéo Zimmermann
2018-12-21Move lint job to gitlabGaëtan Gilbert
2018-12-21Merge PR #9265: Do not exclude "opened" bugs from reportGaëtan Gilbert
2018-12-21Merge PR #9183: List members of the code of conduct enforcement team.Matthieu Sozeau
2018-12-21Make @SkySkimmer an owner of test-suite/report.shMaxime Dénès
2018-12-21Do not exclude "opened" bugs from reportMaxime Dénès
2018-12-21Merge PR #9182: Stop printing Monomorphic/Polymorphic in Print.Maxime Dénès
2018-12-20Make diffs work for more input stringsJim Fehrle
2018-12-20Merge PR #8488: Warning when using automatic template polymorphismPierre-Marie Pédrot
2018-12-20Fix line ending issuesGaëtan Gilbert
2018-12-20Merge PR #9200: [ssr] make `>` stand aloneMaxime Dénès
2018-12-19Fix #7904: update proofview env after ltac constr:()Gaëtan Gilbert
2018-12-19Add CHANGES for auto-template warning.Gaëtan Gilbert
2018-12-19Put #[universes(template)] in outputs testsGaëtan Gilbert
2018-12-19Put #[universes(template)] on all auto template spots in stdlibGaëtan Gilbert
2018-12-19warn when using auto template, funind never uses template polyGaëtan Gilbert
2018-12-19Merge PR #9139: [engine] Allow debug printers to access the environment.Pierre-Marie Pédrot
2018-12-19Merge PR #9159: Make ugraph implementation abstract wrt universe specificsPierre-Marie Pédrot
2018-12-19Merge PR #9231: Fixes #9229: Infix not robust wrt choice of variable names in...Pierre-Marie Pédrot
2018-12-19Merge PR #9237: Add Map.find_optPierre-Marie Pédrot
2018-12-19[doc] typoEnrico Tassi
2018-12-19Fix typo in gallina specification language docyudetamago
2018-12-19Merge PR #9081: [dune] A new Makefile.dune target for each package (coq, coqi...Théo Zimmermann
2018-12-19[dune] Add targets for Coq individual packages.Emilio Jesus Gallego Arias
2018-12-18Merge PR #9223: Fix universe restriction in delayed mode.Pierre-Marie Pédrot
2018-12-18[ssr] make > a stand alone intro patternEnrico Tassi
2018-12-18Merge PR #6705: [ssr] extended intro patternsCyril Cohen
2018-12-18Fixes #9229 (Infix not robust wrt choice of variable names).Hugo Herbelin
2018-12-18[ssr] new test by Arthur CharguéraudEnrico Tassi
2018-12-18[ssr] extended intro patterns: + > [^] /ltac:Enrico Tassi
2018-12-18[arguments] cleanupEnrico Tassi
2018-12-18Merge PR #9218: [STM] Better protection for cur_idEnrico Tassi
2018-12-18Merge PR #9222: Fix classification of Set Default Proof Mode.Enrico Tassi
2018-12-18Add comment to acyclicgraph APIGaëtan Gilbert
2018-12-18Merge PR #9160: Avoid user-given names in automatic introduction of bindersPierre-Marie Pédrot
2018-12-18Merge PR #9178: CoqIDE: Restoring configuration of default width/height of ma...Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 20:36:46 +0000