Sat, 18 Sep 2010 20:07:48 +0200 raw_execute: let IOException pass-through unhindered (again);
wenzelm [Sat, 18 Sep 2010 20:07:48 +0200] rev 39522
raw_execute: let IOException pass-through unhindered (again);
Sat, 18 Sep 2010 19:38:27 +0200 mkfifo: some workaround to ensure reasonably unique id, even on Cygwin where $PPID might fall back on odd default;
wenzelm [Sat, 18 Sep 2010 19:38:27 +0200] rev 39521
mkfifo: some workaround to ensure reasonably unique id, even on Cygwin where $PPID might fall back on odd default;
Sat, 18 Sep 2010 17:39:23 +0200 Isabelle_System.mk_fifo: more robust enumeration of unique names, based on persisting JVM pid (parent of shell process);
wenzelm [Sat, 18 Sep 2010 17:39:23 +0200] rev 39520
Isabelle_System.mk_fifo: more robust enumeration of unique names, based on persisting JVM pid (parent of shell process);
Sat, 18 Sep 2010 17:14:47 +0200 slightly more robust Isabelle_Process startup -- NB: openening fifo streams synchronizes with other end, which may fail to reach that point;
wenzelm [Sat, 18 Sep 2010 17:14:47 +0200] rev 39519
slightly more robust Isabelle_Process startup -- NB: openening fifo streams synchronizes with other end, which may fail to reach that point;
Sat, 18 Sep 2010 17:11:39 +0200 tuned;
wenzelm [Sat, 18 Sep 2010 17:11:39 +0200] rev 39518
tuned;
Sat, 18 Sep 2010 16:05:12 +0200 separate Isabelle.logic_selector;
wenzelm [Sat, 18 Sep 2010 16:05:12 +0200] rev 39517
separate Isabelle.logic_selector;
Sat, 18 Sep 2010 15:50:29 +0200 non-editable text area;
wenzelm [Sat, 18 Sep 2010 15:50:29 +0200] rev 39516
non-editable text area;
Sat, 18 Sep 2010 14:28:42 +0200 basic setup for prover session panel;
wenzelm [Sat, 18 Sep 2010 14:28:42 +0200] rev 39515
basic setup for prover session panel;
Fri, 17 Sep 2010 22:42:07 +0200 ML_Syntax.print_char: more readable output of some well-known ASCII controls -- this is relevant for ML toplevel pp;
wenzelm [Fri, 17 Sep 2010 22:42:07 +0200] rev 39514
ML_Syntax.print_char: more readable output of some well-known ASCII controls -- this is relevant for ML toplevel pp;
Fri, 17 Sep 2010 22:17:57 +0200 discontinued Output.debug, which belongs to early PGIP experiments (b6788dbd2ef9) and causes just too many problems (like spamming the message channel if it is used by more than one module);
wenzelm [Fri, 17 Sep 2010 22:17:57 +0200] rev 39513
discontinued Output.debug, which belongs to early PGIP experiments (b6788dbd2ef9) and causes just too many problems (like spamming the message channel if it is used by more than one module);
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip