dune « src « tuto0 « plugin_tutorial « doc - coq - The formal proof system

about summary refs log tree commit diff

path: root/doc/plugin_tutorial/tuto0/src/dune

blob: ab9b4dd531254a840b18fd2c548516dacc459e18 (plain)

(library
 (name tuto0_plugin)
 (public_name coq.plugins.tutorial.p0)
 (libraries coq.plugins.ltac))

(coq.pp (modules g_tuto0))