Re: [general] freeze for M5.5_Eclipse_TPTP

Thu, 24 Apr 2008 07:21:40 -0700 

Tim,
I also agree with you.
My view is based on the fact that M5.5=M5 + verifier part. M5 has been
the best quality already. The verifier part is very small part. And
it's allowed to integrate with M5 easily. Then M5.5 is near the best
quality easily. If this is not the current condition, it may be given
up now?

Reply via email to