• Alloydocs updated to Alloy 6 https://alloy.readthedocs.io/en/latest/language/time.html 2 comments 11/6/2023 formalmethods , release