Hans, I know that Steve has been busy, so he might not have seen this yet. Thank you for delaying the release until the 18th. Our intent was to get the GUI checked in this week, but it has unfortunately been delayed. Due to the long weekend (Monday is the Labor Day holiday in America) it will not be possible to get it checked in before Tue, September 8. I thought you might like to know the progress on this item.
-- John Murph Automated Logic Research Team
