| Wed, 01 Dec 2010 20:34:40 +0100 |
wenzelm |
more abstract/uniform handling of time, preferring seconds as Double;
|
file |
diff |
annotate
|
| Mon, 27 Sep 2010 18:11:33 +0200 |
wenzelm |
bulk read: observe EOF protocol more carefully -- 0 counts as successful read;
|
file |
diff |
annotate
|
| Thu, 23 Sep 2010 22:00:36 +0200 |
wenzelm |
tuned messages -- cf. Admin/MacOS/App1;
|
file |
diff |
annotate
|
| Thu, 23 Sep 2010 18:44:26 +0200 |
wenzelm |
explicit Session.Phase indication with associated event bus;
|
file |
diff |
annotate
|
| Thu, 23 Sep 2010 15:21:04 +0200 |
wenzelm |
manage persistent syslog via Session, not Isabelle_Process;
|
file |
diff |
annotate
|
| Thu, 23 Sep 2010 14:39:29 +0200 |
wenzelm |
tuned prover message categorization;
|
file |
diff |
annotate
|
| Thu, 23 Sep 2010 13:28:19 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Wed, 22 Sep 2010 21:21:04 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Wed, 22 Sep 2010 16:04:20 +0200 |
wenzelm |
more content for Session_Dockable;
|
file |
diff |
annotate
|
| Wed, 22 Sep 2010 14:29:13 +0200 |
wenzelm |
more reactive handling of Isabelle_Process startup errors;
|
file |
diff |
annotate
|
| Wed, 22 Sep 2010 13:47:48 +0200 |
wenzelm |
main Isabelle_Process via Isabelle_System.Managed_Process;
|
file |
diff |
annotate
|
| Mon, 20 Sep 2010 23:28:35 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 20 Sep 2010 21:26:58 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 20 Sep 2010 21:20:06 +0200 |
wenzelm |
added Isabelle_Process.syslog;
|
file |
diff |
annotate
|
| Mon, 20 Sep 2010 11:38:14 +0200 |
wenzelm |
Isabelle_Process: more robust rendezvous, even without proper blocking on open (Cygwin);
|
file |
diff |
annotate
|