coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of doc/corelib/Library.tex

December 2024

coqbot-app[bot]
Merge PR #19927: Rocq CLI
committed
Gaëtan Gilbert
rename package coq-core -> rocq-runtime
committed
coqbot-app[bot]
Merge PR #19530: Give Stdlib its own directory
committed
Pierre Roux
Rename target stdlib-html -> corelib-html
committed