coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of doc/plugin_tutorial/tuto0/src/dune

December 2024

coqbot-app[bot]
Merge PR #19927: Rocq CLI
committed
Gaëtan Gilbert
Use `rocq pp-mlg` for rocq-runtime files, move `coqpp` back to `coq-core`
committed
Gaëtan Gilbert
rename package coq-core -> rocq-runtime
committed

May 2021

Théo Zimmermann
Add examples from former detailed tactic examples chapter to their new location.
committed

March 2021

coqbot-app[bot]
Merge PR #12567: [build] Split stdlib to it's own package.
committed
Emilio Jesus Gallego Arias
[build] Split stdlib to it's own opam package.
committed

August 2019

Théo Zimmermann
Merge PR #10698: [dune] Migrate static Dune files to Dune 1.10
committed
Emilio Jesus Gallego Arias
[dune] Migrate static Dune files to Dune 1.10
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