| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | refactor: rename "server_configurations" => "configs" #3330 | Justin M. Keyes | 2024-10-01 | 1 | -20/+0 |
| | | | | | | | | | | | | | | | Problem: The name `server_configurations` is extremely verbose and irritatingly formal and dogmatic. This overlong name is a constant nuisance when reading, writing, and coding. It's also not even correct: these configurations are just as much "client" configurations as they are "server" configurations. Solution: - Rename to a shorter name. - Leave placeholder files for any old URLs that link to the old location. | ||||
| * | feat: add mm0 language support (#1787) | Julian Berman | 2022-03-18 | 1 | -0/+20 |
| This is a theorem prover (https://github.com/digama0/mm0) in some sense related to the existing (supported) Lean theorem prover. | |||||
 |
index : nvim-lspconfig | |
| [no description] | git mirrorbot |
| aboutsummaryrefslogtreecommitdiffstats |