Suggestions
  

• Alternative versions of the interface: Solaris, Hp, Dec, etc.

     Problems
  

• The goal window never appears on the screen

     Bugs
  

• The Hol window is ok but no interface window appears on the screen

• Busy wait