coq
forked from coq/coq
Star 1
Fork 0
Watch

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

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
Jim Fehrle
Merge branch 'master' of https://github.com/coq/coq
committed
Enrico Tassi
Merge PR #10287: Update tutorial plugin to use sigma instad of evd, in keeping with doc recommendations
committed
Talia Ringer
Update tutorial plugin to use sigma, in keeping with doc recommendations
committed

February 2019

Pierre-Marie Pédrot
Merge PR #9528: Fix #9527: unknown evar in nonterminating [fix] error.
committed
Gaëtan Gilbert
Fix #9527: unknown evar in nonterminating [fix] error.
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