improved client
isabelle markup refinements