Source/DafnyMenu/PkgCmdID.cs


1
2
3
4
5
6
7
8
9
10
11
12

// PkgCmdID.cs
// MUST match PkgCmdID.h
using System;

namespace DafnyLanguage.DafnyMenu
{
  static class PkgCmdIDList
  {
    public const uint cmdidCompile = 0x100;
    public const uint cmdidMenu = 0x1021;
  };
}