| Fri, 13 Aug 2010 21:33:13 +0200 | wenzelm | added Isabelle_Process.input_bytes, which avoids the somewhat slow Standard_System.string_bytes (just in case someone wants to stream raw data at 250MB/s); | changeset | files |
| Fri, 13 Aug 2010 21:30:10 +0200 | wenzelm | do not buffer fifo streams here -- done in Isabelle_Process; | changeset | files |