coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of doc/plugin_tutorial/tuto0/_CoqProject

June 2025

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

May 2025

coqbot-app[bot]
Merge PR #20378: Fixed plugin_tutorial in rocq
committed
Rw1nd
Fixed plugin_tutorial in rocq
committed

February 2022

coqbot-app[bot]
Merge PR #15220: Load plugins with findlib
committed

January 2022

Enrico Tassi
fix plugin tutorial
committed
Enrico Tassi
[plugin tutorial] port to findlib
committed

January 2019

Yves Bertot
Merge pull request #8778 from SkySkimmer/merge-plugin-tuto
committed
Gaëtan Gilbert
Add 'doc/plugin_tutorial/' from commit '168a13dab1c9987f592994150997e692d4d7e40b'
committed