Zulip Chat Archive

Stream: lean4

Topic: lsp and emacs

Simon Hudon (Feb 17 2022 at 17:40):

In emacs, I find myself reverting my buffer often to refresh the goal state. Does someone else have the same issue? Is there a betting trick than reverting the buffer?

Sebastian Ullrich (Feb 17 2022 at 17:43):

I don't think I ever had that problem

Simon Hudon (Feb 17 2022 at 17:44):

hmm

Last updated: Dec 20 2023 at 11:08 UTC