From be08f2949d674bd757a804795de1dd37c95177f3 Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Mon, 12 Oct 2015 11:48:14 -0700
Subject: Version 1.9.6.21012

---
 Source/version.cs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Source/version.cs')

diff --git a/Source/version.cs b/Source/version.cs
index 1234a75b..7a6b0213 100644
--- a/Source/version.cs
+++ b/Source/version.cs
@@ -1,4 +1,4 @@
 using System.Reflection;
-// Version 1.9.5, year 2013+2 month 05 day 11
-[assembly: AssemblyVersion("1.9.5.20511")]
-[assembly: AssemblyFileVersion("1.9.5.20511")]
+// Version 1.9.6, year 2013+2 month 10 day 12
+[assembly: AssemblyVersion("1.9.6.21012")]
+[assembly: AssemblyFileVersion("1.9.6.21012")]
-- 
cgit v1.2.3


From 0323a4f1a4d258a21be56cd65c5998ea6d0a3b19 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Mon, 16 Nov 2015 14:46:15 -0800
Subject: Updated version number to 1.9.6.21116. This version is now on
 rise4fun.

---
 Source/version.cs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Source/version.cs')

diff --git a/Source/version.cs b/Source/version.cs
index 7a6b0213..86b12fed 100644
--- a/Source/version.cs
+++ b/Source/version.cs
@@ -1,4 +1,4 @@
 using System.Reflection;
-// Version 1.9.6, year 2013+2 month 10 day 12
-[assembly: AssemblyVersion("1.9.6.21012")]
-[assembly: AssemblyFileVersion("1.9.6.21012")]
+// Version 1.9.6, year 2013+2 month 11 day 16
+[assembly: AssemblyVersion("1.9.6.21116")]
+[assembly: AssemblyFileVersion("1.9.6.21116")]
-- 
cgit v1.2.3


From df5c5f547990c1f80ab7594a1f9287ee03a61754 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Fri, 1 Apr 2016 15:41:57 -0700
Subject: New version number 1.9.7.30401, for binary release on Codeplex and
 Rise4fun. Changed copyright date to include 2016.

---
 Source/Dafny/DafnyOptions.cs | 2 +-
 Source/version.cs            | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'Source/version.cs')

diff --git a/Source/Dafny/DafnyOptions.cs b/Source/Dafny/DafnyOptions.cs
index 607090eb..9258503b 100644
--- a/Source/Dafny/DafnyOptions.cs
+++ b/Source/Dafny/DafnyOptions.cs
@@ -28,7 +28,7 @@ namespace Microsoft.Dafny
     }
     public override string VersionSuffix {
       get {
-        return " version " + VersionNumber + ", Copyright (c) 2003-2015, Microsoft.";
+        return " version " + VersionNumber + ", Copyright (c) 2003-2016, Microsoft.";
       }
     }
 
diff --git a/Source/version.cs b/Source/version.cs
index 86b12fed..24de7cec 100644
--- a/Source/version.cs
+++ b/Source/version.cs
@@ -1,4 +1,4 @@
 using System.Reflection;
-// Version 1.9.6, year 2013+2 month 11 day 16
-[assembly: AssemblyVersion("1.9.6.21116")]
-[assembly: AssemblyFileVersion("1.9.6.21116")]
+// Version 1.9.7, year 2013+3 month 04 day 01
+[assembly: AssemblyVersion("1.9.7.30401")]
+[assembly: AssemblyFileVersion("1.9.7.30401")]
-- 
cgit v1.2.3