Revolution slider plugin is a premium plugin that's bundled with the theme.
It's mean that you can use this plugin normally without any problem. The update version will be added in the new version of the theme.
So you need to update it manually.
If you want to activate it in order to get updates automatically and premium support you should buy the plugin separately.