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