Commit Graph

2 Commits

Author SHA1 Message Date
w0rp
400857d758 Implement Lua ALE setup & overhaul documentation
1. Add ale.setup and ale.setup.buffer for pure Lua configuration.
2. Update many global settings to use Booleans instead of numbers to
   make types easiert to work with in Lua.
3. Radically reformat documentation and fix errors to make
   documentation more usable for Neovim users.
2025-03-27 12:40:11 +00:00
D. Ben Knoble
3f01cc247c dafny: add a timeLimit option and message-parsing 2020-11-30 13:28:04 -05:00