| 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 |
| Fri, 13 Aug 2010 18:21:19 +0200 | wenzelm | explicit Document.State value, instead of individual state variables in Session, Command, Document; | changeset | files |