
#define BIN "/usr/groups/hol/HOL21/src/contrib/Xhelp/"

#define HELPFILE "/usr/groups/hol/HOL21/src/contrib/Xhelp/xholhelp.help"


#define MAXLEN 1024

#define BIGBUF 8192


#define NOT_ENUF "not enough memory\n"

#define EMPTY_DIALOG "dialog box is empty\n"
