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