New version number 1.9.7.30401, for binary release on Codeplex and Rise4fun.

Rustan Leino · Rustan Leino · commit 5c2fbbd1d99c · 2016-04-01T15:41:57.000-07:00
Changed copyright date to include 2016.
diff --git a/Source/Dafny/DafnyOptions.cs b/Source/Dafny/DafnyOptions.cs
@@ -28,7 +28,7 @@ public override string VersionNumber {
     }
     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
@@ -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")]

Original file line number	Diff line number	Diff line change
`@@ -28,7 +28,7 @@ public override string VersionNumber {`
`28`	`28`	`}`
`29`	`29`	`public override string VersionSuffix {`
`30`	`30`	`get {`
`31`		`- return " version " + VersionNumber + ", Copyright (c) 2003-2015, Microsoft.";`
	`31`	`+ return " version " + VersionNumber + ", Copyright (c) 2003-2016, Microsoft.";`
`32`	`32`	`}`
`33`	`33`	`}`
`34`	`34`