[isabelle-dev] NEWS: Isabelle_Process.is_active

Makarius makarius at sketis.net
Sat May 21 00:33:34 CEST 2011


*** 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



More information about the isabelle-dev mailing list