vault backup: 2025-04-14 17:15:00

This commit is contained in:
Marco Realacci 2025-04-14 17:15:00 +02:00
parent a8929fe551
commit 79fd2c2bdd

View file

@ -238,10 +238,10 @@
"companion:Toggle completion": false "companion:Toggle completion": false
} }
}, },
"active": "2882ba3b76891dd0", "active": "84845736e00d5c98",
"lastOpenFiles": [ "lastOpenFiles": [
"Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md",
"Concurrent Systems/slides/class 12.pdf", "Concurrent Systems/slides/class 12.pdf",
"Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md",
"Pasted image 20250414164549.png", "Pasted image 20250414164549.png",
"Concurrent Systems/notes/images/Pasted image 20250414082824.png", "Concurrent Systems/notes/images/Pasted image 20250414082824.png",
"Concurrent Systems/notes/11 - LTSs and Bisimulation.md", "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",