FYI, I'm seeing this too.  I'm trying to look into it, but it's not obvious
(to me) what is going on...


-- 
John Murph
Automated Logic Research Team

Reply via email to