diff options
Diffstat (limited to 'Source/DafnyMenu/Guids.cs')
-rw-r--r-- | Source/DafnyMenu/Guids.cs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Source/DafnyMenu/Guids.cs b/Source/DafnyMenu/Guids.cs new file mode 100644 index 00000000..dc392c09 --- /dev/null +++ b/Source/DafnyMenu/Guids.cs @@ -0,0 +1,15 @@ +// Guids.cs
+// MUST match guids.h
+using System;
+
+namespace DafnyLanguage.DafnyMenu
+{
+ static class GuidList
+ {
+ public const string guidDafnyMenuPkgString = "e1baf989-88a6-4acf-8d97-e0dc243476aa";
+ public const string guidDafnyMenuCmdSetString = "393ad46d-e125-41ce-84ee-b4d552d5ba16";
+
+ public static readonly Guid guidDafnyMenuCmdSet = new Guid(guidDafnyMenuCmdSetString);
+ public static readonly Guid guidDafnyMenuPkgSet = new Guid(guidDafnyMenuPkgString);
+ };
+}
\ No newline at end of file |