harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Jin Mingjian" <jin....@gmail.com>
Subject Re: [general] freeze for M5.5_Eclipse_TPTP
Date Thu, 24 Apr 2008 14:21:08 GMT
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?

View raw message