[Emulink] patch for rendering of self-transitions and svg translation
patch for pvs syntax highlighting (the fractional part of real numbers is now correctly recognised by the regex)