With this version, the HTML frames are gone and the navigation panel now presents a tree. JavaScript is now required. Many bugs were fixed, smaller new features were included, and the documentation was redesigned and contains an index.
With this version, the HTML frames are gone and the navigation panel now presents a tree. JavaScript is now required. Many bugs were fixed, smaller new features were included, and the documentation was redesigned and contains an index.