Updated spectra cli jar

se-buw · Jun 5, 2024 · efb2127 · efb2127
1 parent 30c5129
commit efb2127
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/backend/lib/spectra-cli.jar b/backend/lib/spectra-cli.jar
diff --git a/frontend/src/assets/config/Guides.json b/frontend/src/assets/config/Guides.json
@@ -74,5 +74,15 @@
       "title": "Tutorial for Alloy Analyzer 4.0",
       "link": "https://alloytools.org/tutorials/online/"
     }
+  ],
+  "spectra": [
+    {
+      "title": "Video Tutorial",
+      "link": "https://www.youtube.com/playlist?list=PLGyeoukah9Nbx1QquUmZGdLulFZIsiRlZ"
+    },
+    {
+      "title": "Examples",
+      "link": "https://smlab.cs.tau.ac.il/syntech/examples/index.html"
+    }
   ]
 }