nuxmv tutorial url changed

se-buw · Jun 25, 2024 · b8008bc · b8008bc
1 parent dedb354
commit b8008bc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/frontend/src/assets/config/Guides.json b/frontend/src/assets/config/Guides.json
@@ -46,11 +46,11 @@
   "xmv": [
     {
       "title": "NuSMV 2.6 Tutorial",
-      "link": "https://nusmv.fbk.eu/NuSMV/tutorial/v26/tutorial.pdf"
+      "link": "https://nusmv.fbk.eu/tutorial/v26/tutorial.pdf"
     },
     {
       "title": "NuSMV Manual",
-      "link": "https://nusmv.fbk.eu/NuSMV/userman/v21/nusmv_2.html"
+      "link": "https://nusmv.fbk.eu/userman/v26/nusmv.pdf"
     },
     {
       "title": "Example 1",