/Util/VS2010/DafnyExtension/DafnyExtension/

• ../
• BraceMatching.cs
• BufferIdleEventUtil.cs
• ClassificationTagger.cs
• ContentType.cs
• DafnyDriver.cs
• DafnyExtension.csproj
• ErrorTagger.cs
• OutliningTagger.cs
• ProgressMargin.cs
• Properties
• ResolverTagger.cs
• TokenTagger.cs
• WordHighlighter.cs
• source.extension.vsixmanifest