Preview 3 was released Jun 2.  That's over 1.5 months ago.  Any idea when
preview 4 will be released?  Or, do you plan on releasing 0.9 final next?

-- 
John Murph
Automated Logic Research Team

Reply via email to