News for package prooftree