diff options
| author | Lauri Gustafsson | 2022-04-02 14:00:05 +0000 |
|---|---|---|
| committer | GitHub | 2022-04-02 14:00:05 +0000 |
| commit | e4561d1ddede65baaaf04adf5baa0edbaf8f8028 (patch) | |
| tree | ce768955cf856658c424f11bb61fe9bc4a43c01d /book/src | |
| parent | 36d1df71fc99b0f2e3b594f9d7d0f07ef829b9fc (diff) | |
Add texlab language server for latex (#1922)
Diffstat (limited to 'book/src')
| -rw-r--r-- | book/src/generated/lang-support.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/book/src/generated/lang-support.md b/book/src/generated/lang-support.md index 8c1a78c8..694d1d12 100644 --- a/book/src/generated/lang-support.md +++ b/book/src/generated/lang-support.md @@ -31,7 +31,7 @@ | jsx | ✓ | | ✓ | `typescript-language-server` | | julia | ✓ | | | `julia` | | kotlin | ✓ | | | `kotlin-language-server` | -| latex | ✓ | | | | +| latex | ✓ | | | `texlab` | | lean | ✓ | | | `lean` | | ledger | ✓ | | | | | llvm | ✓ | ✓ | ✓ | | |