diff options
| author |  Rustan Leino <leino@microsoft.com> | 2013-03-10 00:30:29 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2013-03-10 00:30:29 -0800 |
| commit | 3b5624bc50576d855b60ad8cb20213d42c866063 (patch) | |
| tree | bea10f4d4aedd1ce94843ce0ef38c61d89af45ea | |
| parent | f9a64be8ef09ac2160391c91ea8e23e5f389d1f5 (diff) | |
Bumped version to 1.6.1, to be released as a binary and on rise4fun.
| -rw-r--r-- | Binaries/PrepareDafnyZip.bat | 2 | ||||
| -rw-r--r-- | Source/version.cs | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/Binaries/PrepareDafnyZip.bat b/Binaries/PrepareDafnyZip.bat index 2b8312cb..3aede819 100644 --- a/Binaries/PrepareDafnyZip.bat +++ b/Binaries/PrepareDafnyZip.bat @@ -13,8 +13,8 @@ for %%f in ( CodeContractsExtender.dll CodeContractsExtender.pdb Core.dll Core.pdb Dafny.exe Dafny.pdb - DafnyPrelude.bpl DafnyRuntime.cs DafnyPipeline.dll DafnyPipeline.pdb + DafnyPrelude.bpl DafnyRuntime.cs Graph.dll Graph.pdb Model.dll Model.pdb ParserHelper.dll ParserHelper.pdb diff --git a/Source/version.cs b/Source/version.cs index 9143b9c0..a05fad06 100644 --- a/Source/version.cs +++ b/Source/version.cs @@ -1,4 +1,4 @@ using System.Reflection;
-// Version 1.6.0, year 2013+0 month 01 day 23
-[assembly: AssemblyVersion("1.6.0.00123")]
-[assembly: AssemblyFileVersion("1.6.0.00123")]
+// Version 1.6.1, year 2013+0 month 03 day 09
+[assembly: AssemblyVersion("1.6.1.00309")]
+[assembly: AssemblyFileVersion("1.6.1.00309")]
|