Documentation snapshot for v4.0.0 (dafny-lang#3682)

fabiomadge · Mar 3, 2023 · 92ec075 · 92ec075
1 parent 67287b2
commit 92ec075
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.0.0](https://dafny.org/v4.0.0)
 - [v3.12.0](https://dafny.org/v3.12.0)
 - [v3.11.0](https://dafny.org/v3.11.0)
 - [v3.10.0](https://dafny.org/v3.10.0)