vault backup: 2025-04-15 13:27:35

.obsidian/workspace.json

@@ -6,7 +6,6 @@
       {
         "id": "ceb8ca67f2b32f40",
         "type": "tabs",
-        "dimension": 42.76504297994269,
         "children": [
           {
             "id": "fc3ff5f9792d4a40",
@@ -38,25 +37,6 @@
           }
         ],
         "currentTab": 1
-      },
-      {
-        "id": "7fb7c9cd25b3003c",
-        "type": "tabs",
-        "dimension": 57.23495702005731,
-        "children": [
-          {
-            "id": "46d9dfa1750fc4db",
-            "type": "leaf",
-            "state": {
-              "type": "pdf",
-              "state": {
-                "file": "Concurrent Systems/slides/class 12.pdf"
-              },
-              "icon": "lucide-file-text",
-              "title": "class 12"
-            }
-          }
-        ]
       }
     ],
     "direction": "vertical"
@@ -113,8 +93,7 @@
       }
     ],
     "direction": "horizontal",
-    "width": 309.5,
+    "width": 309.5
-    "collapsed": true
   },
   "right": {
     "id": "bc4b945ded1926e3",
@@ -228,12 +207,12 @@
   },
   "active": "9d3f25b0eb9b478f",
   "lastOpenFiles": [
-    "Concurrent Systems/slides/class 12.pdf",
-    "Concurrent Systems/notes/12b - CCS cose varie.md",
-    "Pasted image 20250415090109.png",
     "Concurrent Systems/notes/12 - Calculus of communicating system.md",
-    "Pasted image 20250415082906.png",
     "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
+    "Concurrent Systems/notes/12b - CCS cose varie.md",
+    "Concurrent Systems/slides/class 12.pdf",
+    "Pasted image 20250415090109.png",
+    "Pasted image 20250415082906.png",
     "Concurrent Systems/notes/images/Pasted image 20250414164549.png",
     "Concurrent Systems/notes/images/Pasted image 20250414181443.png",
     "Concurrent Systems/slides/class 11.pdf",