When chol is fired, HOL loads its configuration files and the square window appears on the screen but no "Goal" window.
Make sure that your HOMEDIR contains the file .hol.rdb (in particular .hol.rdb.hol?? is not correct).
To go back to the list, click here