marcorealacci/master-degree-notes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

vault backup: 2025-04-15 08:20:18

Browse source
This commit is contained in:
Marco Realacci 2025-04-15 08:20:18 +02:00
parent a1f2caaed0
commit c5a6226854
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
.obsidian/workspace.json vendored
View file

@ -174,7 +174,8 @@
} }
], ],
"direction": "horizontal", "direction": "horizontal",
"width": 364.5 "width": 364.5,
"collapsed": true
}, },
"left-ribbon": { "left-ribbon": {
"hiddenItems": { "hiddenItems": {
@ -190,7 +191,7 @@
"companion:Toggle completion": false "companion:Toggle completion": false
} }
}, },
"active": "0d5325c0f9289cea", "active": "84845736e00d5c98",
"lastOpenFiles": [ "lastOpenFiles": [
"Concurrent Systems/notes/11 - LTSs and Bisimulation.md", "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
"Concurrent Systems/notes/12 - Calculus of communicating system.md", "Concurrent Systems/notes/12 - Calculus of communicating system.md",