Improved history table

There is still a bug, in the sense that a tag assignment and a proof change appear always together. Just some silly data parsing issue probably.