vault backup: 2025-04-14 12:29:54

.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",