Recent Releases

5.4.021 Mar 2017 23:37 minor feature: * Use of Java 1.8 * Use of a new XML format for Plugin Manager, and proper following of redirects, resulting in a much improved plugin install experience * New Printing, updated for current versions of Java