| Wed, 11 Aug 2010 14:54:10 +0200 | haftmann | tuned lowercase | changeset | files |
| Sat, 14 Aug 2010 12:01:50 +0200 | wenzelm | moved Document.text_edits to Thy_Syntax; | changeset | files |
| Sat, 14 Aug 2010 11:52:24 +0200 | wenzelm | tuned; | changeset | files |
| 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 |
| Fri, 13 Aug 2010 18:16:50 +0200 | wenzelm | edit_document: more precise status position; | changeset | files |