From 92effea3fdcb263d2d0f1fa1cd616974256811ef Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Tue, 10 Oct 2023 16:25:00 +0200 Subject: [PATCH] [README] [nix] Add changes + tweak on the README. Follow up of #572 --- CHANGES.md | 3 +++ README.md | 4 ++-- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index 4a6833718..6e8c18b62 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -36,6 +36,9 @@ - New lexical qed detection error recovery rule; this makes a very large usability difference in practice when editing inside proofs. (@ejgallego, #567, fixes #33) + - `coq-lsp` is now supported by the `coq-nix-toolbox` (@Zimmi48, + @CohenCyril, #572, via + https://github.com/coq-community/coq-nix-toolbox/pull/164 ) # coq-lsp 0.1.7: Just-in-time ----------------------------- diff --git a/README.md b/README.md index 0f747ce5d..5afad4d16 100644 --- a/README.md +++ b/README.md @@ -247,9 +247,9 @@ guide](./CONTRIBUTING.md) ``` - **Nix**: - In nixpkgs: [coqPackages.coq-lsp](https://github.com/NixOS/nixpkgs/tree/master/pkgs/development/coq-modules/coq-lsp) - - This package is automatically put in scope when running `nix-shell` in a + - The `coq-lsp` server is automatically put in scope when running `nix-shell` in a project using the [Coq Nix Toolbox](https://github.com/coq-community/coq-nix-toolbox) - (with a sufficiently recent version of the Toolbox). + (added to the toolbox Oct 10th 2023). - An example of a `flake` that uses `coq-lsp` in a development environment is here https://github.com/HoTT/Coq-HoTT/blob/master/flake.nix . - **Windows**: