Dear all, first of all sorry for sending my message twice. I assumed messages for non-subscribers are rejected automatically (I registered between the messages). Could you please comment on the DPI issue, if you find the time? I am unable to get any progress here on my own. Furthermore it would be nice to find out how to use the search interface for queries specific to this list. Best regards, -- Carsten Otto otto@informatik.rwth-aachen.de LuFG Informatik 2 http://verify.rwth-aachen.de/otto/ RWTH Aachen phone: +49 241 80-21211
Attachment:
signature.asc
Description: Digital signature