harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Pavel Pervov" <pmcfi...@gmail.com>
Subject [commit][approve] HARMONY-5764, HARMONY-5803
Date Mon, 05 May 2008 07:35:54 GMT
I'd like to commit two more patches.

HARMONY-5764 - blocker for verifier inclusion into Eclipse TPTP
HARMONY-5803 - breakage of compilation on Linux.

Thanks,
-- 
Pavel

Mime
View raw message