Skip to content

Commit

Permalink
pvsio-web v2.0.2
Browse files Browse the repository at this point in the history
  • Loading branch information
pmasci committed Apr 26, 2016
1 parent f557826 commit af0e454
Showing 1 changed file with 8 additions and 1 deletion.
9 changes: 8 additions & 1 deletion CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,13 +1,20 @@
#Changelog

##2.0.2 (April 2016)
PVSio-web goes live on UMinho servers (http://pvsioweb.lsd.di.uminho.pt)
Added new feature: physical keyboard keys can be linked to prototype keys
Added new feature: voice readback for button actions
Added new feature: wallclock for automatic execution of tick transitions defined in the PVS model
Improved Emucharts Editor

##2.0.1 (April 2015)
Added new Model Generators: VMD-SL (Vienna Development Method)
Added new prototypes (full Alaris GP, Pacemaker, GPCA-Simulink)
Added new display widgets (multi-line displays, LEDs)
Added new file browser

##2.0.0 (Jan 2015)
PVSio-web goes live (www.pvsioweb.org) on the Heroku cloud
PVSio-web goes live on the Heroku cloud (http://www.pvsioweb.org)

##1.1.0 (Dec 2014)
Added new Model Generators: MAL (Modal Action Logic), and PIM (Presentation Interaction Models)
Expand Down

0 comments on commit af0e454

Please sign in to comment.