diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index fa6a819c844..383bb33dbe2 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -1,5 +1,7 @@
 # Upcoming
 
+# 3.5.0
+
 - feat: `continue` statements. Like Dafny's `break` statements, these come in two forms: one that uses a label to name the continue target and one that specifies the continue target by nesting level. See section [19.2](https://dafny-lang.github.io/dafny/DafnyRef/DafnyRef#sec-break-continue) of the Reference Manual. (https://github.com/dafny-lang/dafny/pull/1839)
 - feat: The keyword syntax for functions will change in Dafny version 4. The new command-line option `/functionSyntax` (see `/help`) allows early adoption of the new syntax. (https://github.com/dafny-lang/dafny/pull/1832)
 - feat: Attribute `{:print}` declares that a method may have print effects. Print effects are enforced only with `/trackPrintEffects:1`.
diff --git a/Source/version.cs b/Source/version.cs
index 92beb83de57..8b541ce3878 100644
--- a/Source/version.cs
+++ b/Source/version.cs
@@ -1,4 +1,4 @@
 using System.Reflection;
-// Version 3.4.2, year 2018+4 month 2 day 21 
-[assembly: AssemblyVersion("3.4.2.40221")]
-[assembly: AssemblyFileVersion("3.4.2.40221")]
+// Version 3.5.0, year 2018+4 month 3 day 14 
+[assembly: AssemblyVersion("3.5.0.40314")]
+[assembly: AssemblyFileVersion("3.5.0.40314")]