coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of doc/plugin_tutorial/dune

January 2025

coqbot-app[bot]
Merge PR #19955: Env vars: try reading ROCQFOO before COQFOO, ROCQRUNTIMELIB before COQCORELIB
committed
Gaëtan Gilbert
env vars: try reading ROCQRUNTIMELIB and ROCQLIB before COQCORELIB / COQLIB
committed

December 2024

coqbot-app[bot]
Merge PR #19927: Rocq CLI
committed
Gaëtan Gilbert
rename package coq-core -> rocq-runtime
committed

April 2023

remzi
Merge remote-tracking branch 'upstream/master' into 17060_RelationPairs
committed
coqbot-app[bot]
Merge PR #17293: Enable warning 70 (missing mli), add mli files
committed
Gaëtan Gilbert
Enable warning 70 (missing mli), add mli files
committed

June 2022

coqbot-app[bot]
Merge PR #15560: [build] Consolidation of build system infrastructure
committed
Emilio Jesus Gallego Arias
[build] Consolidation of build system infrastructure
committed