Documentation snapshot for v4.10.0

dafny-lang · Feb 6, 2025 · 9d4b5a8 · 9d4b5a8
1 parent 3a1aef8
commit 9d4b5a8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/Snapshots.md b/docs/Snapshots.md
@@ -7,6 +7,7 @@ layout: default
 
 - [Current development version](https://dafny.org/dafny)
 - [Latest release snapshot](https://dafny.org/latest)
+- [v4.10.0](https://dafny.org/v4.10.0)
 - [v4.9.1](https://dafny.org/v4.9.1)
 - [v4.8.1](https://dafny.org/v4.8.1)
 - [v4.6.0](https://dafny.org/v4.6.0)