Made Isabelle url a link.