coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of doc/plugin_tutorial/tuto1/src/inspector.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