Fixed bugs and new features


version 5.1.25 June 2020

version 5.1.24 November 2019


version 5.1.23 April 2019


version 5.1.22 November 2018

version 5.1.21 June 2018

version 5.1.20 October 2017

version 5.1.19 September 2017

version 5.1.18 May 2017


version 5.1.17 January 2017

version 5.1.16 October 2016

version 5.1.15 August 2016


version 5.1.14 July 2016

version 5.1.13 May 2016

version 5.1.11 November 2015

version 5.1.10 October 2015

version 5.1.09 August 2015

version 5.1.08 July 2015

(Versions 5.10.06 and 5.1.07 were never published)

version 5.1.05 April 2015

version 5.1.04 March 2015