From c0c8d6c321caf39c3a373ebb8c95035c853e0968 Mon Sep 17 00:00:00 2001 From: Mikael Mayer Date: Wed, 5 Feb 2025 15:23:56 -0600 Subject: [PATCH] Documentation snapshot for v4.10.0 --- docs/Snapshots.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/Snapshots.md b/docs/Snapshots.md index 0b6c682ccd..1da0943e78 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.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)