vault backup: 2025-04-14 18:25:00

This commit is contained in:
Marco Realacci 2025-04-14 18:25:00 +02:00
parent 081cc6c066
commit a1f2caaed0

View file

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