coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of doc/plugin_tutorial/README.md

June 2025

coqbot-app[bot]
Merge PR #20670: Update plugin tuto
committed
Gaëtan Gilbert
Add plugin tuto 4: extending ltac2
committed
Gaëtan Gilbert
Add comments in plugin tuto build system files
committed
Gaëtan Gilbert
plugin tuto add explanation of .mlpack
committed
Gaëtan Gilbert
Rename Coq -> Rocq in plugin tuto readme
committed
Gaëtan Gilbert
reindent doc/plugin_tutorial/README.md
committed

April 2025

coqbot-app[bot]
Merge PR #20419: Update various URLs after the renaming
committed
Gaëtan Gilbert
Update various URLs after the renaming
committed

September 2024

coqbot-app[bot]
Merge PR #19522: Encourage use of metalanguages rather than plugin
committed
Pierre Roux
Encourage use of metalanguage rather than plugin
committed

September 2021

Pierre-Marie Pédrot
Merge PR #14812: Clarify installation instructions for Coq Plugin Tutorial
committed

August 2021

Seth Poulsen
Clarify needed steps for getting dev headers depending on installation source
committed
Seth Poulsen
Update doc/plugin_tutorial/README.md
committed
Seth Poulsen
Clarify installation instructions for Coq Plugin Tutorial
committed

November 2019

Emilio Jesus Gallego Arias
Merge PR #11180: Add more development setup instructions for tutorials
committed
Talia Ringer
Add more development setup instructions for tutorials
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