finally fixed isabelle session bug
added isabellemarkup from clide1
typesafe console