aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-01-23Clarify meaning of Primitive ProjectionsDavid A. Dalrymple
2019-01-23Merge PR #9357: Fix recursive loadpath of ML filesEmilio Jesus Gallego Arias
2019-01-23Merge PR #9043: [windows] Cleanup cruft from `dev/build/windows`Michael Soegtrop
2019-01-23Merge PR #9270: Turn `Refine instance Mode` off by defaultPierre-Marie Pédrot
2019-01-23Merge PR #9374: Documentation: ring and field simplify can take no argumentsThéo Zimmermann
2019-01-23Merge PR #9347: At Qed, if shelved goals remain, emit a warning instead of an...Pierre-Marie Pédrot
2019-01-23Merge PR #9337: Fixing #9329: registering empty levels in the order they are ...Emilio Jesus Gallego Arias
2019-01-23Merge PR #9339: Move plugin tutorial to team ownershipEmilio Jesus Gallego Arias
2019-01-23Merge PR #9361: Make prvect tail recursive (fix #9355)Emilio Jesus Gallego Arias
2019-01-23Merge PR #9382: Transfer maintenance of appveyor infrastructure to the CI teamThéo Zimmermann
2019-01-23Merge PR #9239: [ci] [appveyor] Pass -j2 to Appveyor's build and build test s...Maxime Dénès
2019-01-22Transfer maintenance of appveyor infrastructure to the CI teamMaxime Dénès
2019-01-22Merge PR #9225: Fix issue: Windows CI: cygwin install cache is not reused #9212Maxime Dénès
2019-01-22Fixing #9329 (registering empty levels in the order they are recomputed).Hugo Herbelin
2019-01-22Merge PR #9308: Remove outdated gitignore coqprojectfile.mlEmilio Jesus Gallego Arias
2019-01-22Merge PR #9332: Add OSX job to azureEmilio Jesus Gallego Arias
2019-01-22Make prvect tail recursive (fix #9355)Gaëtan Gilbert
2019-01-22Turn `Refine Instance Mode` off by defaultMaxime Dénès
2019-01-22Make `Add Morphism` not rely on Refine InstanceMaxime Dénès
2019-01-22Remove useless freshness check in new_instanceMaxime Dénès
2019-01-22Distinguish ASTs for Instance and Declare InstanceMaxime Dénès
2019-01-22Simplify parsing of instance bindersMaxime Dénès
2019-01-22VernacDeclareClass -> VernacExistingClassMaxime Dénès
2019-01-22VernacDeclareInstances -> VernacExistingInstanceMaxime Dénès
2019-01-21ring and field simplify can take no argumentsthery
2019-01-21Merge PR #9027: Refactor checking of inductive typesMaxime Dénès
2019-01-21Move plugin tutorial to team ownershipGaëtan Gilbert
2019-01-21Add OSX job to azureGaëtan Gilbert
2019-01-21Refactor typechecking of inductive typesGaëtan Gilbert
2019-01-21Move inductive typecheck to file independent from positivity check.Gaëtan Gilbert
2019-01-21Move inductive_error to Type_errorsGaëtan Gilbert
2019-01-21At Qed, if shelved goals remain, emit a warning instead of an errorMaxime Dénès
2019-01-21[EConstr] Expose API to normalize and check if evars are remainingMaxime Dénès
2019-01-21Merge PR #9304: Default disable auto template warning.Maxime Dénès
2019-01-21Merge PR #9340: Add badges linking to a selection of up-to-date Coq packages.Maxime Dénès
2019-01-20Merge PR #9353: Fix merge-pr.sh when multiple review commentsMaxime Dénès
2019-01-19Fix recursive loadpath of ML filesMaxime Dénès
2019-01-17Fix merge-pr.sh when multiple review commentsGaëtan Gilbert
2019-01-17Merge PR #9326: [ci] compile with -quick & validate after vio2voGaëtan Gilbert
2019-01-17Merge PR #9345: [ci] Update fiat-crypto to the new pipelineGaëtan Gilbert
2019-01-17Merge PR #9192: Issue #9175, #9190, #9191 (various minor Windows build issues)Maxime Dénès
2019-01-17Merge PR #9048: Fix vernac classification of `Fail Instance`Enrico Tassi
2019-01-17Merge PR #9242: merge-pr: add reviewer info to commit messageMaxime Dénès
2019-01-16Merge PR #9346: Add .nia.cache to .gitignoreGaëtan Gilbert
2019-01-16Add .nia.cache to .gitignoreJason Gross
2019-01-16[ci] Update fiat-crypto to the new pipelineJason Gross
2019-01-14Merge PR #9307: Handle local definitions in implicit arguments of InstanceMaxime Dénès
2019-01-13Add badges linking to a selection of up-to-date Coq packages.Théo Zimmermann
2019-01-13Refactor badges in README.Théo Zimmermann
2019-01-11[STM] set the mtime of files generated via vio2vo (fix #9334)Enrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-07-06 21:32:35 +0000