diff --git a/docs/Snapshots.md b/docs/Snapshots.md index d5484b5af48..72362c88d76 100644 --- a/docs/Snapshots.md +++ b/docs/Snapshots.md @@ -7,5 +7,6 @@ layout: default - [Current development version](https://dafny.org/dafny) - [Latest release snapshot](https://dafny.org/latest) +- [v3.10.0](https://dafny.org/v3.10.0) - [v3.9.1](https://dafny.org/v3.9.1) - [v3.9.0](https://dafny.org/v3.9.0)