Julian / lean.nvim

neovim support for the Lean theorem prover
MIT License
248 stars 25 forks source link

Added warning about E21 error due to nomodifiable. #334

Closed mars0i closed 5 months ago

mars0i commented 5 months ago

Wasn't sure where to put the new text for #333. It's now at the end of "Configuration & Usage".

(Other options include:

Julian commented 5 months ago

Cool! Let's try this. Thanks again for helping out, really appreciated!