| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BraceMatching.cs | 9312 | logplain |
| -rw-r--r-- | BufferIdleEventUtil.cs | 4920 | logplain |
| -rw-r--r-- | ClassificationTagger.cs | 5048 | logplain |
| -rw-r--r-- | ContentType.cs | 433 | logplain |
| -rw-r--r-- | DafnyDriver.cs | 8334 | logplain |
| -rw-r--r-- | DafnyExtension.csproj | 14135 | logplain |
| -rw-r--r-- | DafnyRuntime.cs | 18987 | logplain |
| -rw-r--r-- | ErrorTagger.cs | 3214 | logplain |
| -rw-r--r-- | GlobalSuppressions.cs | 1660 | logplain |
| -rw-r--r-- | HoverText.cs | 4427 | logplain |
| -rw-r--r-- | IdentifierTagger.cs | 17106 | logplain |
| -rw-r--r-- | OutliningTagger.cs | 8570 | logplain |
| -rw-r--r-- | ProgressMargin.cs | 13561 | logplain |
| d--------- | Properties | 43 | logplain |
| -rw-r--r-- | ResolverTagger.cs | 13216 | logplain |
| -rw-r--r-- | TokenTagger.cs | 12707 | logplain |
| -rw-r--r-- | WordHighlighter.cs | 8485 | logplain |
| -rw-r--r-- | source.extension.vsixmanifest | 1102 | logplain |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |