Emulink: self-edge renaming is now re-enabled
minor changes in PVS spec writer
Merge pull request #29 from thehogfather/emulink-commented

Added animation of Emulink diagram during simulations
minor changes to button position and colours in Emulink and Prototypebuilder
Emulink animation: added edges highlighing during simulations
Fixed: Restore Color after stopping animation, changed position emulink status bar, fixed bug in firefox to display float number