[meta] Put SerAPI in maintenance mode.

Thanks to everyone that helped and used this project for almost 7 years! The following issues are solved by coq-lsp: closes #252, closes #261, closes #234, closes #202, closes #117, closes #49, closes #32, closes #26, closes #24, closes #21, closes #18, closes #13
ejgallego · Feb 14, 2023 · 7224c22 · 7224c22
1 parent bde3fcd
commit 7224c22
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -9,6 9,13 @@
 [zulip-badge]: https://img.shields.io/badge/Zulip-chat-informational.svg
 [zulip-link]: https://coq.zulipchat.com/#narrow/stream/256331-SerAPI
 
 **Note**: Coq SerAPI is now in maintenance mode, and has been
 succeeded by [coq-lsp](https://github.com/ejgallego/coq-lsp/), which
 solves many longstanding issues and feature requests.
 
 See https://github.com/ejgallego/coq-serapi/issues/252 for more
 information.
 
 To install with opam:
 ```
 $ opam install coq-serapi