kiniry/Mobius Issues
non-Void type system
Updatedjump-to-refinement
Updatedtypo in pref panel
Updatednon-Void default semantics
Updatedoutline window contents
UpdatedBON built-in types
UpdatedTranslation from BON to Java
Updated 2new analyses for AutoGradeMe
UpdatedCVC3 use/support issue
Updatedupdate all copyrights
Updated 1add new papers to release
Updated 1add new tutorial slides to release
Updated 1