Source/DafnyMenu/Guids.cs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
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);
  };
}