Current Status (Sep 24, 2017): Version 3.12 for all platforms fixes a bug in REVERB and might work around Apple's sandboxing strategy introduced in OS X 10.12, which broke links between the IDE and the reference manual.

If you have any problems, please email direct to rbd at cs.cmu.edu.


