coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of doc/plugin_tutorial/tuto1/META.rocq-plugin-tutorial

June 2025

coqbot-app[bot]
Merge PR #20670: Update plugin tuto
committed
Gaëtan Gilbert
Add comments in plugin tuto build system files
committed