diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 993556f..96881aa 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -14,12 +14,12 @@ "state": { "type": "markdown", "state": { - "file": "Concurrent Systems/notes/12 - bastaaaaaaaa.md", + "file": "Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md", "mode": "source", "source": false }, "icon": "lucide-file", - "title": "12 - bastaaaaaaaa" + "title": "12 - CCS (che non so cosa voglia dire)" } }, { @@ -28,12 +28,12 @@ "state": { "type": "markdown", "state": { - "file": "Concurrent Systems/notes/12 - bastaaaaaaaa.md", + "file": "Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md", "mode": "source", "source": false }, "icon": "lucide-file", - "title": "12 - bastaaaaaaaa" + "title": "12 - CCS (che non so cosa voglia dire)" } } ] @@ -120,7 +120,8 @@ "title": "Segnalibri" } } - ] + ], + "currentTab": 1 } ], "direction": "horizontal", @@ -236,10 +237,10 @@ "companion:Toggle completion": false } }, - "active": "fbeaa35cc5a8abf1", + "active": "954699747dc12b5e", "lastOpenFiles": [ "Concurrent Systems/slides/class 12.pdf", - "Concurrent Systems/notes/12 - bastaaaaaaaa.md", + "Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md", "Concurrent Systems/notes/images/Pasted image 20250414082824.png", "Concurrent Systems/notes/11 - LTSs and Bisimulation.md", "Concurrent Systems/notes/images/Pasted image 20250414152300.png", diff --git a/Concurrent Systems/notes/12 - bastaaaaaaaa.md b/Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md similarity index 100% rename from Concurrent Systems/notes/12 - bastaaaaaaaa.md rename to Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md