vault backup: 2025-04-16 17:14:01

.obsidian/workspace.json

@@ -39,14 +39,12 @@
             "id": "a222ab88db5cfdd0",
             "type": "leaf",
             "state": {
-              "type": "markdown",
+              "type": "pdf",
               "state": {
-                "file": "Concurrent Systems/notes/12b - CCS cose varie.md",
-                "mode": "source",
-                "source": false
+                "file": "HCIW/slides/HCI in the car.pdf"
               },
-              "icon": "lucide-file",
-              "title": "12b - CCS cose varie"
+              "icon": "lucide-file-text",
+              "title": "HCI in the car"
             }
           }
         ],
@@ -221,10 +219,11 @@
   },
   "active": "a222ab88db5cfdd0",
   "lastOpenFiles": [
+    "Concurrent Systems/notes/12b - CCS cose varie.md",
+    "HCIW/slides/HCI in the car.pdf",
     "Concurrent Systems/notes/12 - Calculus of communicating system.md",
     "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
     "Concurrent Systems/notes/10 - Implementing Consensus.md",
-    "Concurrent Systems/notes/12b - CCS cose varie.md",
     "Concurrent Systems/slides/class 12.pdf",
     "Pasted image 20250415090109.png",
     "Pasted image 20250415082906.png",
@@ -265,7 +264,6 @@
     "Concurrent Systems/slides/class 4.pdf",
     "Foundation of data science/class 9.pdf",
     "Concurrent Systems/slides/class 10.pdf",
-    "Concurrent Systems/ignore this folder",
     "Senza nome.canvas"
   ]
 }