From f55cbaef095aeccc6be186dc879d9cac5b9eadc1 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Mon, 28 Apr 2025 09:07:04 +0200 Subject: [PATCH] vault backup: 2025-04-28 09:07:04 --- .obsidian/workspace.json | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 6581465..f072ed3 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -211,11 +211,11 @@ "companion:Toggle completion": false } }, - "active": "56150e6df7869900", + "active": "6c4a39240e6da514", "lastOpenFiles": [ + "Concurrent Systems/notes/13 - Weak Bisimilarity.md", "Pasted image 20250428085837.png", "Concurrent Systems/slides/class 13.pdf", - "Concurrent Systems/notes/13 - Weak Bisimilarity.md", "Pasted image 20250428085410.png", "Pasted image 20250428084340.png", "Pasted image 20250428083727.png", @@ -232,7 +232,6 @@ "Concurrent Systems/slides/class 11.pdf", "Concurrent Systems/notes/images/Pasted image 20250414173011.png", "Concurrent Systems/notes/images/Pasted image 20250414082824.png", - "Concurrent Systems/notes/images/Pasted image 20250414152300.png", "HCIW/notes/3 - Beacons.md", "HCIW/slides/Zooming interfaces.pdf", "HCIW/slides/Gestural interaction.pdf",