src/Pure/System/isabelle_process.scala
changeset 43283 446e6621762d
parent 40848 8662b9b1f123
child 43514 45cf8d5e109a
equal deleted inserted replaced
43282:5d294220ca43 43283:446e6621762d
     1 /*  Title:      Pure/System/isabelle_process.ML
     1 /*  Title:      Pure/System/isabelle_process.scala
     2     Author:     Makarius
     2     Author:     Makarius
     3     Options:    :folding=explicit:collapseFolds=1:
     3     Options:    :folding=explicit:collapseFolds=1:
     4 
     4 
     5 Isabelle process management -- always reactive due to multi-threaded I/O.
     5 Isabelle process management -- always reactive due to multi-threaded I/O.
     6 */
     6 */