A few bug fixes
Merge branch 'master' of https://github.com/samowre/PVS
Formula icon changes when proved.
Merge branch 'master' of https://github.com/samowre/PVS
Added a dialog box for Text Entry
Bug fix