Version 9: Improved history notation and made scrollable