The RMF team is proud to announce the i12.03 Integration build, which brings significant improvements both in the core and the ProR user interface. Please read more about this on the Formal Mind Blog.