From 92ec07578a83877692e6dd6a53d72f8a48f6cbb4 Mon Sep 17 00:00:00 2001 From: John Tristan Date: Fri, 3 Mar 2023 07:02:57 -0500 Subject: [PATCH] Documentation snapshot for v4.0.0 (#3682) --- docs/Snapshots.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/Snapshots.md b/docs/Snapshots.md index 76458010b35..90b5b420e10 100644 --- 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)