src/Pure/Concurrent/bash.scala
Sat, 13 Feb 2016 20:41:56 +0100 wenzelm clarified bash process -- similar to ML version;
less more (0) -1 tip