[abc-users] Relational aspects as tracematches

From: Alan Teoh <alan.teoh07_at_imperial.ac.uk>
Date: Wed, 27 Feb 2008 16:42:45 +0000

Hi,

The latest abc binary release does not contain the extension for
relational aspects as tracematches does it?

Thanks.
Received on Wed Feb 27 2008 - 16:42:55 GMT

This message: [ Message body ]
Next message: Eric Bodden: "Re: [abc-users] Relational aspects as tracematches"
Previous message: Pavel Avgustinov: "Re: [abc-users] Tracematch trace output"
Next in thread: Eric Bodden: "Re: [abc-users] Relational aspects as tracematches"
Reply: Eric Bodden: "Re: [abc-users] Relational aspects as tracematches"

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

This archive was generated by hypermail 2.2.0 : Wed Feb 27 2008 - 16:50:10 GMT