Re: [abc-users] Relational aspects as tracematches

Hi Eric,

The link http://abc.comlab.ox.ac.uk/products/trunk/abc-with-tests/ does
not seem to work for me as it looks empty. I can not seem to find the
folder abc/src/abc/ra as well.
Help on this matter would be appreciated.

Eric Bodden wrote:
>> Hi, Theo.
>>
> ^^^^
> Sorry, I meant Alan of course! Your last name confused be because it
> sounds like a German first name ;-)
>
> Eric
>
>
Haha no worries.
Received on Thu Feb 28 2008 - 14:43:04 GMT