Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | DafnyMenu.csproj | 6099 | logplain |
-rw-r--r-- | DafnyMenu.vsct | 6697 | logplain |
-rw-r--r-- | DafnyMenuPackage.cs | 8022 | logplain |
-rw-r--r-- | GlobalSuppressions.cs | 692 | logplain |
-rw-r--r-- | Guids.cs | 497 | logplain |
-rw-r--r-- | PkgCmdID.cs | 328 | logplain |
d--------- | Properties | 43 | logplain |
-rw-r--r-- | Resources.Designer.cs | 2852 | logplain |
-rw-r--r-- | Resources.resx | 6305 | logplain |
d--------- | Resources | 77 | logplain |
-rw-r--r-- | VSPackage.resx | 7024 | logplain |
-rw-r--r-- | source.extension.vsixmanifest | 1134 | logplain |