Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | BraceMatching.cs | 9250 | logplain |
-rw-r--r-- | BufferIdleEventUtil.cs | 4951 | logplain |
-rw-r--r-- | ClassificationTagger.cs | 4345 | logplain |
-rw-r--r-- | ContentType.cs | 431 | logplain |
-rw-r--r-- | DafnyDriver.cs | 19204 | logplain |
-rw-r--r-- | DafnyExtension.csproj | 8438 | logplain |
-rw-r--r-- | ErrorTagger.cs | 3440 | logplain |
-rw-r--r-- | Outlining.cs | 8623 | logplain |
-rw-r--r-- | OutliningTagger.cs | 6767 | logplain |
-rw-r--r-- | ProgressMargin.cs | 3130 | logplain |
d--------- | Properties | 43 | logplain |
-rw-r--r-- | ResolverTagger.cs | 8130 | logplain |
-rw-r--r-- | TokenTagger.cs | 12896 | logplain |
-rw-r--r-- | WordHighlighter.cs | 8498 | logplain |
-rw-r--r-- | source.extension.vsixmanifest | 918 | logplain |