*** ML *** * Isabelle_Process.is_active allows tools to check if the official process wrapper is running (Isabelle/Scala/jEdit) or the old TTY loop (better known as Proof General). See Isabelle/6bc8a6dcb3e0 Makarius