[README] [nix] Add changes + tweak on the README.

Follow up of #572
ejgallego · Oct 10, 2023 · 92effea · 92effea
1 parent 05aa03a
commit 92effea
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git 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
@@ -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**: