Stream: Coq Hackathon and Working Group, Winter 2022

Topic: Dev setup and VSCode


view this post on Zulip Paolo Giarrusso (Feb 15 2022 at 15:07):

It seems that https://github.com/coq/coq/tree/master/dev/doc / https://github.com/coq/coq/wiki/DevelSetup doesn't cover VSCode?

view this post on Zulip Emilio Jesús Gallego Arias (Feb 15 2022 at 15:21):

@Paolo Giarrusso please open an issue so that can be fixed in the BSP

view this post on Zulip Paolo Giarrusso (Feb 15 2022 at 15:23):

https://github.com/coq/coq/issues/15684, pre-labeled "help wanted"


Last updated: Jan 29 2023 at 16:02 UTC