Adding support for a "dune coq top" command#5457

Merged

ejgallego merged 2 commits intoocaml:mainfrom rlepigre:coqtop

Apr 6, 2022

+490-15

Commits on Apr 6, 2022

Adding support for [dune coq top].

Rodolphe Lepigre
authored and
rlepigre
committed
Merge branch 'main' into coqtop
ejgallego
authored