blob: 5f10346ac4cee2816d125bedfc2eae18006b505c (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
(library
(name toplevel)
(public_name coq.toplevel)
(synopsis "Coq's Interactive Shell [terminal-based]")
(wrapped false)
; num still here due to some plugins using it
(libraries num coq.stm))
; Interp provides the `zarith` library to plugins, we could also use
; -linkall in the plugins file, to be discussed.
(coq.pp (modules g_toplevel))
|
