This is a LaTeX language server that uses LanguageTool to autocorrect spelling mistakes.
Updated 2024-06-20 04:03:48 +01:00