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

about summary refs log tree commit diff

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

blob: 054d5ecd267dfe4b4f9bf65999258cc4e05b95a3 (plain)

(library
 (name tuto1_plugin)
 (public_name coq.plugins.tutorial.p1)
 (libraries coq.plugins.ltac))

(coq.pp (modules g_tuto1))