coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of doc/plugin_tutorial/tuto1/src/simple_print.ml

April 2024

coqbot-app[bot]
Merge PR #18422: Push Library.indirect_accessor references up in the call stack
committed
Gaëtan Gilbert
Use vernactypes to get indirect accessor in commands
committed
Gaëtan Gilbert
Push Library.indirect_accessor references up in the call stack
committed

July 2019

Gaëtan Gilbert
Merge PR #10498: [api] Deprecate GlobRef constructors.
committed
Emilio Jesus Gallego Arias
[api] Deprecate GlobRef constructors.
committed

June 2019

Gaëtan Gilbert
Merge PR #10362: Kernel-side delaying of polymorphic opaque constants
committed
Pierre-Marie Pédrot
Allow to delay polymorphic opaque constants.
committed
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

May 2019

Enrico Tassi
Merge PR #10201: Remove access to indirect opaques in the kernel
committed
Pierre-Marie Pédrot
Remove the indirect opaque accessor hooks from Opaqueproof.
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