Is there a way to use dune coq top with coqide?
dune coq top is supposed to allow you to use alternative toplevels like coqidetop. However, so far, none of the IDEs support it out of the box AFAICT.
coqide has an option panel to set the coqtop name, maybe that could work
tho in the end you want something a bit nicer, using the Dune RPC so the IDE can inform the user about that
Last updated: Jan 30 2023 at 17:03 UTC