diff options
| author |  tabarbe <unknown> | 2010-07-19 20:28:44 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-19 20:28:44 +0000 |
| commit | e754218603460ae256a71d45b56ab5389087afd3 (patch) | |
| tree | f95d3cc0ce1134d15ecc919715c7c625db1671d1 /Source | |
| parent | 82a6e8833d62c342491203d8b491e77f6521b0ec (diff) | |
Boogie: Whoops, forgot to check this in. Sorry if it broke the build.
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Provers/Isabelle/version.cs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Source/Provers/Isabelle/version.cs b/Source/Provers/Isabelle/version.cs new file mode 100644 index 00000000..2804c330 --- /dev/null +++ b/Source/Provers/Isabelle/version.cs @@ -0,0 +1,8 @@ +//-----------------------------------------------------------------------------
+//
+// Copyright (C) Microsoft Corporation. All Rights Reserved.
+//
+//-----------------------------------------------------------------------------
+using System.Reflection;
+[assembly: AssemblyVersion("2.0.0.0")]
+[assembly: AssemblyFileVersion("2.0.0.0")]
|