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)