[Cl-perec-devel] oracle port

[Tomas Hlavaty]

Hi Levy,

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

that would be great!

I've already merged in your live version so there the merge should go
smoothly.

It shouldn't break your existing functionality much, except you'll need
to do some minor changes in your existing code like renaming time =>
time-of-day => ptime-of-day and maybe some other details.

Thank you,

Tomas