added default_prompt; removed decorate_prompt_fn hook;
added default_prompt;
removed decorate_prompt_fn hook;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle