blob: 90869a46a0344e6fa70fce4c81f6018043696576 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
(coq.theory
(name Ltac2)
(package coq)
(synopsis "Ltac2 tactic language")
(libraries coq.plugins.ltac2))
(library
(name ltac2_plugin)
(public_name coq.plugins.ltac2)
(synopsis "Ltac2 plugin")
(modules_without_implementation tac2expr tac2qexpr tac2types)
(libraries coq.plugins.ltac))
(coq.pp (modules g_ltac2))
|
