From 93b052a0d7fe4eb429deb3956b961febd847379c Mon Sep 17 00:00:00 2001 From: Thomas Pani Date: Fri, 23 Aug 2024 16:04:33 +0200 Subject: [PATCH] Fix link --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index a1a0daa20e..a238a32b39 100644 --- a/README.md +++ b/README.md @@ -156,7 +156,7 @@ Past funding from [Der Wiener Wissenschafts-, Forschungs- und Technologiefonds]( [apalache benchmarks]: https://github.com/apalache-mc/apalache-tests [checking inductive invariants]: https://github.com/apalache-mc/apalache-tests/blob/master/results/001indinv-report.md [bounded model checking]: https://github.com/apalache-mc/apalache-tests/blob/master/results/002bmc-report.md -[user-manual]: http://apalache-mc.org/apalache/docs/index.html +[user-manual]: http://apalache-mc.org/docs/index.html [user-manual-docker]: https://apalache-mc.org/docs/apalache/installation/docker.html [user-manual-installation]: https://apalache-mc.org/docs/apalache/installation/index.html [language-manual]: https://apalache-mc.org/docs/lang/index.html