| Tue, 05 Jan 2016 23:28:43 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 05 Jan 2016 22:50:43 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 05 Jan 2016 21:57:21 +0100 | wenzelm | isabelle update_cartouches -c -t; | changeset | files |
| Tue, 05 Jan 2016 21:55:40 +0100 | wenzelm | merged | changeset | files |
| Tue, 05 Jan 2016 21:55:34 +0100 | wenzelm | more realistic Eisbach method invocation from ML; | changeset | files |
| Tue, 05 Jan 2016 17:20:56 +0100 | wenzelm | unused; | changeset | files |
| Tue, 05 Jan 2016 17:14:34 +0100 | wenzelm | more robust event propagation; | changeset | files |