coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of doc/plugin_tutorial/tuto2/src/persistent_counter.ml

August 2026

coqbot-app[bot]
Merge PR #22372: Abstract away the Summary reference type.
committed
Pierre-Marie Pédrot
Abstract away the Summary reference type.
committed

October 2024

coqbot-app[bot]
Merge PR #19709: Require explicit classification for every libobject
committed
Gaëtan Gilbert
Require explicit classification for every libobject
committed

December 2021

coqbot-app[bot]
Merge PR #15317: Libobject/Lib name handling refactor
committed
Gaëtan Gilbert
Leaf objects do not need a low level id
committed
Gaëtan Gilbert
Most objects don't care about names
committed

June 2019

Enrico Tassi
Merge PR #10368: Update, expand, and document plugin tutorial 2
committed
Talia Ringer
Update, expand, and document plugin tutorial 2
committed