Bumped version number to 2.3.0.10506 for the new binary release.

dafny-lang · May 6, 2019 · 6f48c4a · 6f48c4a
1 parent 94247d7
commit 6f48c4a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -18,6 +18,7 @@ You can ask questions about Dafny on [Stack Overflow](https://stackoverflow.com/
 # Try Dafny
 
 The easiest way to get started with Dafny is to use [rise4fun](http://rise4fun.com/dafny), where you can write and verify Dafny programs without having install anything. On [rise4fun](http://rise4fun.com/dafny), you will also find the online Dafny tutorial.
+It is also easy to [install Dafny on your own machine](https://github.com/Microsoft/dafny/wiki/INSTALL) in VS Code, which gives you a much better user experience than in the web browser.
 
 # Setup
 

diff --git a/Source/version.cs b/Source/version.cs
@@ -1,4 +1,4 @@
 using System.Reflection;
-// Version 2.2.0, year 2017+1 month 09 day 23
-[assembly: AssemblyVersion("2.2.0.10923")]
-[assembly: AssemblyFileVersion("2.2.0.10923")]
+// Version 2.3.0, year 2018+1 month 05 day 06
+[assembly: AssemblyVersion("2.3.0.10506")]
+[assembly: AssemblyFileVersion("2.3.0.10506")]