K 10 svn:author V 6 olgeni K 8 svn:date V 27 2002-11-03T20:16:29.000000Z K 7 svn:log V 53 Add WITH_ERLANG_HIPE option, to enable HiPE support. END