/Source/DafnyExtension/

• ../
• BraceMatching.cs
• BufferIdleEventUtil.cs
• ClassificationTagger.cs
• ContentType.cs
• DafnyDriver.cs
• DafnyExtension.csproj
• DafnyOptions.txt
• ErrorModelTagger.cs
• ErrorTagger.cs
• GlobalSuppressions.cs
• HoverText.cs
• IdentifierTagger.cs
• MenuProxy.cs
• OutliningTagger.cs
• ProgressMargin.cs
• Properties
• ResolverTagger.cs
• TokenTagger.cs
• WordHighlighter.cs
• packages.config
• source.extension.vsixmanifest