Stream: Proof General users

Topic: Pointers about gitpod / emacs-lsp


view this post on Zulip Erik Martin-Dorel (May 28 2023 at 21:06):

Dear PG users,
In case you'd also be interested in seeing more support from gitpod about emacs-lsp (to ultimately be able to briefly spin an online PG from any GitHub repo),
feel free to +1 the latest comment of mine in this issue: ^^
https://github.com/gitpod-io/gitpod/issues/2419#issuecomment-1566121713


Last updated: Oct 13 2024 at 01:02 UTC