coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of doc/plugin_tutorial/tuto1/src/simple_declare.mli

December 2025

coqbot-app[bot]
Merge PR #21419: Introduce PolyFlags to gather flags for polymorphic defs
committed
Matthieu Sozeau
Introduce PolyFlags to gather flags for polymorphic defs
committed

June 2019

Pierre-Marie Pédrot
Merge PR #10304: Clean up tuto0 and tuto1 to use better practices and explain more
committed
Talia Ringer
Clean, document, and expand plugin tutorials 0 and 1
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