-
Andrei Paskevich authored
This allows to call editors from IDE in a less hackish way and might even fix the problem with Coq editing on Windows.
978a8df0
This allows to call editors from IDE in a less hackish way and might even fix the problem with Coq editing on Windows.