From 38c2c349c3174bfec78af7d8dba8efbe0c2dc03a Mon Sep 17 00:00:00 2001
From: Marco Realacci <marco@marcorealacci.me>
Date: Mon, 14 Apr 2025 12:29:54 +0200
Subject: [PATCH] vault backup: 2025-04-14 12:29:54

---
 .obsidian/workspace.json | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index bc9067b..ebc4db3 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -6,7 +6,7 @@
       {
         "id": "ceb8ca67f2b32f40",
         "type": "tabs",
-        "dimension": 85.67335243553008,
+        "dimension": 55.587392550143264,
         "children": [
           {
             "id": "fbeaa35cc5a8abf1",
@@ -41,7 +41,7 @@
       {
         "id": "dd628773839aa478",
         "type": "tabs",
-        "dimension": 14.326647564469914,
+        "dimension": 44.412607449856736,
         "children": [
           {
             "id": "2882ba3b76891dd0",
@@ -67,7 +67,8 @@
               "title": "class 11"
             }
           }
-        ]
+        ],
+        "currentTab": 1
       }
     ],
     "direction": "vertical"
@@ -237,14 +238,14 @@
       "companion:Toggle completion": false
     }
   },
-  "active": "fbeaa35cc5a8abf1",
+  "active": "364a7591f14f033a",
   "lastOpenFiles": [
+    "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
     "Concurrent Systems/notes/12 - bastaaaaaaaa.md",
     "Concurrent Systems/slides/class 12.pdf",
     "Pasted image 20250414104010.png",
     "Pasted image 20250414103800.png",
     "Pasted image 20250414102733.png",
-    "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
     "Concurrent Systems/slides/class 11.pdf",
     "Pasted image 20250414093017.png",
     "Pasted image 20250414092202.png",