Proof Version 5.1.5 - 1/19/2015

Proof version 5.1.5 has the following enhancements and bug fixes:

1. Fixed a bug with data sets in local player
   1. DataSet tab of local player was not keeping the data set selection
2. All Proof commands now operate on invisible as well as visible elements
3. “Check Invisible” option has been added to VERIFY_ELEMENT and by default it is checked. If you would like to exclude invisible elements from this command, you need to explicitly uncheck this option
4. An easy navigation for functions has been added
   1. Hover on a CALL function command
   2. “Click for details” tooltip will appear
   3. Click on the tooltip, and it will open up the function in another tab
5. Upgraded to Hibernate 4.3.8
6. Added a fix for “Restart Proof” popup