/* Weditres generated include file. Do NOT edit */
#define IDD_ABOUT       100
#define IDM_NEW 200
#define IDM_OPEN        210
#define IDM_SAVE        220
#define IDM_SAVEAS      230
#define IDM_CLOSE       240
#define IDM_PRINT       250
#define IDM_PRINTSU     260
#define IDM_PRINTPRE    265
#define IDM_PAGESETUP   267
#define IDM_EXIT        270
#define IDM_HISTORY     281
#define IDM_GC  282
#define IDCTRLC 283
#define IDD_HISTORY     300
#define IDLIST  301
#define IDM_EDITUNDO    310
#define IDM_EDITCUT     320
#define IDM_EDITCOPY    330
#define IDM_EDITPASTE   340
#define IDM_EDITCLEAR   350
#define IDM_EDITDELETE  360
#define IDM_EDITREPLACE 370
#define IDM_EDITREDO    380
#define IDM_WINDOWTILE  410
#define IDM_WINDOWCASCADE       420
#define IDM_WINDOWICONS 430
#define IDM_WINDOWCLOSEALL      440
#define IDM_PROPERTIES  450
#define IDM_ABOUT       500
#define IDM_HELP        510
#define IDMAINMENU      600
#define IDM_FIND        700
#define IDAPPLICON      710
#define IDI_CHILDICON   800
#define IDAPPLCURSOR    810
#define OCAML_ICON      1000
#define IDS_FILEMENU    2000
#define IDS_HELPMENU    2010
#define IDS_SYSMENU     2030
#define IDM_STATUSBAR   3000
#define IDM_WINDOWCHILD 3010
#define ID_TOOLBAR      5000
#define IDACCEL 10000
#define IDM_FONT        40002
#define IDM_COLORTEXT   40004
#define IDM_BACKCOLOR   40005
