On the 0x297 day of Apache Harmony Peter Novodvorsky wrote: > On 09 Mar 2007 20:48:48 +0300, Egor Pasko <[EMAIL PROTECTED]> wrote: > > On the 0x294 day of Apache Harmony Naveen Neelakantam wrote: > > > On Mar 8, 2007, at 12:52 PM, Egor Pasko wrote: > > > > > nice idea! I also added 'subroutine verification in Verifier' > > > > Geir, are there any news on the submission process? > > As far as I know Alexei Fedotov is already working on subroutine > verification, won't it be a fake project (perhaps he will finish with > it before summer)?
OK, removed the item. -- Egor Pasko
