[Cl-perec-devel] oracle port

[Levente Mészáros]

On Thu, May 13, 2010 at 4:43 PM, Tomas Hlavaty
<tomas.hlavaty at knowledgetools.de> wrote:
> the oracle port now works, see
> http://www.knowledgetools.de/tmp/temporaer/tomas/index.html#sec-3.4 for
> more details.
That's really great news Thomas! Thanks for all the hard work you have
done so far!

Do you think we should merge the oracle port into HEAD right now, or
shall we rather wait a little more?

levy

-- 
There's no perfectoin