Note

Please report issues with the manual on the GitHub page.

13. Version History

• 13.1. Version 2019a (released on 11 November 2019)
• 13.2. Version 2018c (released on 21 February 2019)
• 13.3. Version 2018b (released 17 December 2018)
• 13.4. Version 2018a (released 2 August 2018)
• 13.5. Version 2017b (released 2 August 2017)
• 13.6. Version 2017a (Feb 2017)
• 13.7. Version 2016a (released 21 June 2016)
• 13.8. Version 2014b (released 8 October 2014)
• 13.9. Version 2014a.1 (released 26 February 2014)
• 13.10. Version 2014a (released 21 February 2014)
• 13.11. Version 2013a
• 13.12. Version 2012b
• 13.13. Version 2012a
• 13.14. Version 2011b