// 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);

    public const string guidBvdToolboxPkgString = "8b93ddf6-009c-46b9-a0d2-628405a4e466";
    public const string guidBvdToolboxCmdSetString = "11635790-762b-495f-8c85-9de3a8fe91bd";
    public const string guidToolWindowPersistanceString = "6f1cb50b-18fa-4d03-b480-71be56c50053";

    public static readonly Guid guidBvdToolboxCmdSet = new Guid(guidBvdToolboxCmdSetString);
  };
}