summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension
ModeNameSize
-rw-r--r--BraceMatching.cs9312logplain
-rw-r--r--BufferIdleEventUtil.cs4919logplain
-rw-r--r--ClassificationTagger.cs5321logplain
-rw-r--r--ContentType.cs1096logplain
-rw-r--r--DafnyDriver.cs11208logplain
-rw-r--r--DafnyExtension.csproj12851logplain
-rw-r--r--DafnyOptions.txt238logplain
-rw-r--r--ErrorModelTagger.cs11211logplain
-rw-r--r--ErrorTagger.cs3153logplain
-rw-r--r--GlobalSuppressions.cs692logplain
-rw-r--r--HoverText.cs4427logplain
-rw-r--r--IdentifierTagger.cs19731logplain
-rw-r--r--MenuProxy.cs5211logplain
-rw-r--r--OutliningTagger.cs8688logplain
-rw-r--r--ProgressMargin.cs16213logplain
d---------Properties43logplain
-rw-r--r--ResolverTagger.cs20367logplain
-rw-r--r--TokenTagger.cs15775logplain
-rw-r--r--WordHighlighter.cs8485logplain
-rw-r--r--source.extension.vsixmanifest1498logplain