using a separate launch group for Isabelle launch configuration (separate toolbar and menu items as well)
better message (Isabelle is no longer launched using External Tools)
a link in "Isabelle not running" message that opens Isabelle prover launch configuration dialog
Merge branch 'launch-group'