[isabelle] MacOS and Isabelle2016



It looks like the Isabelle2016.dmg has some problems with access rights. After the installation, once I clicked in the Isabelle2016.app the system replied with a message 'The application is damaged'.

I fixed the problem with 

$ cd /Applications
$ sudo xattr -rc Isabelle2016.app

Following http://apple.stackexchange.com/questions/58050/damaged-and-cant-be-open-app-error-message suggestion.

Best,

--
Alexandre Rademaker
http://arademaker.github.io <http://arademaker.github.io/>
http://researcher.ibm.com/person/br-alexrad <http://researcher.ibm.com/person/br-alexrad>








This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.