So far my understanding is that a project should contain
the dune related files because it is overall a better build system (especially when one has pluggins
Should contain the _CoqProject file and may be the generate make file so that Proof general is easily able to locate the .vo files in interactive setup.
Is my understanding wrong ? Can I setup proof general to look for the .vo files as generated by dune and be done with it ? I would prefer to switch completely to dune because of the overall awesomeness of it.