placeholders for Error Log and Progress views at the bottom of Isabelle perspective