diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 19f5111..65fd7df 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -211,10 +211,10 @@ "companion:Toggle completion": false } }, - "active": "6c4a39240e6da514", + "active": "56150e6df7869900", "lastOpenFiles": [ - "Concurrent Systems/notes/13 - Weak Bisimilarity.md", "Concurrent Systems/slides/class 13.pdf", + "Concurrent Systems/notes/13 - Weak Bisimilarity.md", "Pasted image 20250428175449.png", "Pasted image 20250428085837.png", "Pasted image 20250428085410.png",