| 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 |