summaryrefslogtreecommitdiff
path: root/Source/Provers/Isabelle/version.cs
blob: 2804c3304442861403906e3b61ddbf86338dcae9 (plain)
1
2
3
4
5
6
7
8
//-----------------------------------------------------------------------------
//
// Copyright (C) Microsoft Corporation.  All Rights Reserved.
//
//-----------------------------------------------------------------------------
using System.Reflection;
[assembly: AssemblyVersion("2.0.0.0")]
[assembly: AssemblyFileVersion("2.0.0.0")]