Isabelle BREAKTHROUGH :)
Isabelle markup client side
fixes to ghc assistant