vault backup: 2025-04-28 18:26:27
This commit is contained in:
parent
ab687164b9
commit
7fc7927fde
1 changed files with 2 additions and 2 deletions
4
.obsidian/workspace.json
vendored
4
.obsidian/workspace.json
vendored
|
@ -211,10 +211,10 @@
|
||||||
"companion:Toggle completion": false
|
"companion:Toggle completion": false
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
"active": "6c4a39240e6da514",
|
"active": "56150e6df7869900",
|
||||||
"lastOpenFiles": [
|
"lastOpenFiles": [
|
||||||
"Concurrent Systems/notes/13 - Weak Bisimilarity.md",
|
|
||||||
"Concurrent Systems/slides/class 13.pdf",
|
"Concurrent Systems/slides/class 13.pdf",
|
||||||
|
"Concurrent Systems/notes/13 - Weak Bisimilarity.md",
|
||||||
"Pasted image 20250428175449.png",
|
"Pasted image 20250428175449.png",
|
||||||
"Pasted image 20250428085837.png",
|
"Pasted image 20250428085837.png",
|
||||||
"Pasted image 20250428085410.png",
|
"Pasted image 20250428085410.png",
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue