blob: 4c28776bb7f63678980730e40ce7a0a7f5ba92dd (
plain)
1
2
3
4
5
6
7
8
9
|
(library
(name ssreflect_plugin)
(public_name coq-core.plugins.ssreflect)
(synopsis "Coq's ssreflect plugin")
(modules_without_implementation ssrast)
(flags :standard -open Gramlib)
(libraries coq-core.plugins.ssrmatching))
(coq.pp (modules ssrvernac ssrparser))
|
