From b8008bc5287a5dc224e9302cac3d0c56d064c5b9 Mon Sep 17 00:00:00 2001 From: Soaibuzzaman Date: Tue, 25 Jun 2024 13:31:26 +0200 Subject: [PATCH] nuxmv tutorial url changed --- frontend/src/assets/config/Guides.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/frontend/src/assets/config/Guides.json b/frontend/src/assets/config/Guides.json index fd3aad8..f922424 100644 --- 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",