diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 6e215b8..270ad27 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -36,8 +36,7 @@ "title": "8 - Enhancing Liveness Properties" } } - ], - "currentTab": 1 + ] }, { "id": "496ffcebad48669d", @@ -227,10 +226,10 @@ "companion:Toggle completion": false } }, - "active": "0d64f519fd7f9420", + "active": "383fb8ddbc7a9dc8", "lastOpenFiles": [ - "Concurrent Systems/notes/7- MUTEX-free concurrency.md", "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", + "Concurrent Systems/notes/7- MUTEX-free concurrency.md", "Concurrent Systems/slides/class 8.pdf", "Concurrent Systems/slides/class 7.pdf", "Concurrent Systems/notes/6a - Alternatives to Atomicity.md",