Are there any plans to release the RACE source code? --David -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20131222/ad28bfa8/attachment.html>