Skip to content

Latest commit

 

History

History
7 lines (6 loc) · 149 Bytes

RELEASE_NOTES.md

File metadata and controls

7 lines (6 loc) · 149 Bytes

0.0.2 - January 23 20 2016

  • Pairs matching
  • Highlightting for more keywords
  • Latest FStar runtime

0.0.1 - October 20 2015

  • First demo