Does not work: Open proof view in external browser

siegebell / vscoq

Coq Support for Visual Studio Code

MIT License

92 stars 9 forks source link

Closed wieczyk closed 6 years ago

wieczyk commented 6 years ago

Open proof view in external browser does not work. Do I need to install something?

wieczyk commented 6 years ago

Ok, I have found proper settings. Sorry for two silly issues :-)

speedcell4 commented 5 years ago

how did you fix that?