Stream: Coq Hackathon and Working Group, Winter 2022

Topic: Dev setup and VSCode

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?

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

Paolo Giarrusso (Feb 15 2022 at 15:23):

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

Last updated: Jun 11 2023 at 00:30 UTC