diff options
| author |  wuestholz <unknown> | 2013-07-26 14:35:05 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-26 14:35:05 -0700 |
| commit | 728c229e257646155a11615906afb9cd6daa2f99 (patch) | |
| tree | 127554c7dad28847a90ac4499f71c8caff09e9f0 /Source/DafnyExtension/Properties | |
| parent | 9cc1b3fffb95ee2e4f0db1d165bdc5c6569f4a32 (diff) | |
DafnyExtension: Did some refactoring and worked towards integrating the Dafny menu more tightly.
Diffstat (limited to 'Source/DafnyExtension/Properties')
| -rw-r--r-- | Source/DafnyExtension/Properties/AssemblyInfo.cs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/Source/DafnyExtension/Properties/AssemblyInfo.cs b/Source/DafnyExtension/Properties/AssemblyInfo.cs index b73b8410..a9922c2f 100644 --- a/Source/DafnyExtension/Properties/AssemblyInfo.cs +++ b/Source/DafnyExtension/Properties/AssemblyInfo.cs @@ -1,15 +1,14 @@ using System.Reflection;
-using System.Runtime.CompilerServices;
using System.Runtime.InteropServices;
// General Information about an assembly is controlled through the following
// set of attributes. Change these attribute values to modify the information
// associated with an assembly.
-[assembly: AssemblyTitle("EditorClassifier1")]
+[assembly: AssemblyTitle("DafnyLanguageService")]
[assembly: AssemblyDescription("")]
[assembly: AssemblyConfiguration("")]
-[assembly: AssemblyCompany("")]
-[assembly: AssemblyProduct("EditorClassifier1")]
+[assembly: AssemblyCompany("Microsoft Research")]
+[assembly: AssemblyProduct("DafnyLanguageService")]
[assembly: AssemblyCopyright("")]
[assembly: AssemblyTrademark("")]
[assembly: AssemblyCulture("")]
|