diff options
| author |  stobies <unknown> | 2010-02-08 12:54:24 +0000 |
|---|---|---|
| committer | stobies <unknown> | 2010-02-08 12:54:24 +0000 |
| commit | 8160620f5a71169cdf7c6f2333ebfe9c7bc285c6 (patch) | |
| tree | 4066521fadce439fe28fe9e77fe052a726522465 /Source | |
| parent | 37ca3c95e460a37d8b579f2e11004bae7b22fc49 (diff) | |
Removed Unicode chars from Assembly attributes - they are not liked too much by explorer
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Provers/Isabelle/AssemblyInfo.ssc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Provers/Isabelle/AssemblyInfo.ssc b/Source/Provers/Isabelle/AssemblyInfo.ssc index ba2375e7..ac99974f 100644 --- a/Source/Provers/Isabelle/AssemblyInfo.ssc +++ b/Source/Provers/Isabelle/AssemblyInfo.ssc @@ -8,6 +8,6 @@ using System.Runtime.CompilerServices; [assembly: AssemblyTitle("Boogie back-end for Isabelle")]
[assembly: AssemblyDescription("Boogie back-end for the interactive"
+ " theorem prover Isabelle")]
-[assembly: AssemblyCompany("TU München")]
+[assembly: AssemblyCompany("TU Muenchen")]
[assembly: AssemblyProduct("HOL-Boogie")]
-[assembly: AssemblyCopyright("Copyright © TU München 2009")]
+[assembly: AssemblyCopyright("Copyright (c) TU München 2009")]
|