most recent changes, diff for isabelle-devel