Fri, 25 May 2012 13:23:43 +0200 | wenzelm | tuned proofs; | changeset | files |
Fri, 25 May 2012 13:19:10 +0200 | wenzelm | further attempts to simplify/robustify Swing_Thread.now, to avoid spurious physical race conditions on Java 6 / Mac OS X; | changeset | files |
Fri, 25 May 2012 11:18:32 +0200 | wenzelm | ignore empty messages even on tty, e.g. relevant for Isabelle_System.bash_output err output; | changeset | files |