0.0.2 - January 23 20 2016 Pairs matching Highlightting for more keywords Latest FStar runtime 0.0.1 - October 20 2015 First demo