Coinciding with teaching EventML to students in our Formal Methods course, we have posted EventML for download on the CRASH Software page: http://www.nuprl.org/crash/software.php
There are Linux & PC install versions as well as a user's manual with background on Classic ML written by Kreitz & Rahli.
Jim