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