abstract System_Channel in ML (cf. Scala version);
back to TextIO for fifo, which is more stable in Poly/ML 5.4.x;
explicit block buffering -- BinIO might be subject to old Poly/ML defaults;
#!/usr/bin/env bash
#
# Author: Makarius
#
# Default Isabelle application wrapper.
exec "$(dirname "$0")"/bin/isabelle jedit "$@"