2010-08-11 agoexplicit accessed to structure Class_Target
haftmann [Wed, 11 Aug 2010 15:09:30 +0200] rev 38376
explicit accessed to structure Class_Target

2010-08-11 agotuned lowercase
haftmann [Wed, 11 Aug 2010 14:54:10 +0200] rev 38375
tuned lowercase

2010-08-14 agomoved Document.text_edits to Thy_Syntax;
wenzelm [Sat, 14 Aug 2010 12:01:50 +0200] rev 38374
moved Document.text_edits to Thy_Syntax;

2010-08-14 agotuned;
wenzelm [Sat, 14 Aug 2010 11:52:24 +0200] rev 38373
tuned;

2010-08-13 agoadded 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);
wenzelm [Fri, 13 Aug 2010 21:33:13 +0200] rev 38372
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);

2010-08-13 agodo not buffer fifo streams here -- done in Isabelle_Process;
wenzelm [Fri, 13 Aug 2010 21:30:10 +0200] rev 38371
do not buffer fifo streams here -- done in Isabelle_Process;
removed misleading comments -- blocking on open is not reliable on non-standard systems (Cygwin);

2010-08-13 agoexplicit Document.State value, instead of individual state variables in Session, Command, Document;
wenzelm [Fri, 13 Aug 2010 18:21:19 +0200] rev 38370
explicit Document.State value, instead of individual state variables in Session, Command, Document;
Session.snapshot: pure value based on Document.State;
Document.edit_texts: no treatment of state assignment here;

2010-08-13 agoedit_document: more precise status position;
wenzelm [Fri, 13 Aug 2010 18:16:50 +0200] rev 38369
edit_document: more precise status position;

2010-08-13 agoadded get_after convenience;
wenzelm [Fri, 13 Aug 2010 17:35:28 +0200] rev 38368
added get_after convenience;

2010-08-12 agomore basic notion of unparsed input;
wenzelm [Thu, 12 Aug 2010 17:55:23 +0200] rev 38367
more basic notion of unparsed input;