Upcoming

• Added KIV
• Fixed the host name
• Imported the ArrayMax example into the workspace of Eclipse/ESC/Java2

0.0.6

• Upgraded VeriFast to 10.6
• Added the common example for VeriFast (thanks to Jan Smans)
• Offline website mirror now shipped with the system
• Added a VirtualBox video driver allowing high screen resolutions in VirtualBox
• Added lxrandr (a GUI program to change screen resolutions when booting natively)
• Workaround for the stuck mouse button issue

0.0.5

• Installed jStar
• Added a common example

0.04

• Updated VeriFast to 10.5.1
• Installed Boogie and Dafny
• Updated the welcome page to include OS customization

0.0.3

• Installed JavaFAN
• Updated VeriFast to 10.5 (fixes an issue with repeated verification)
• Installed epdfview for viewing PDFs

0.0.2

• Installed Jahob

0.0.1

• Initial public pre-release