As a reminder, the mailing list addresses are [EMAIL PROTECTED] and [EMAIL PROTECTED] You should avoid posting to @inrialpes.fr Also note that the search engine at the http://www.objectweb.org site allows you to search the mail archives. alex ---- To unsubscribe, send email to [EMAIL PROTECTED] and include in the body of the message "unsubscribe jonas-users". For general help, send email to [EMAIL PROTECTED] and include in the body of the message "help".
