| Mon, 07 Dec 2015 16:27:09 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 07 Dec 2015 15:20:06 +0100 | wenzelm | more thorough update request: semantic state of command may have changed elsewise; | changeset | files |
| Mon, 07 Dec 2015 15:18:05 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 07 Dec 2015 15:16:28 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 07 Dec 2015 10:38:04 +0100 | wenzelm | isabelle update_cartouches -c -t; | changeset | files |
| Mon, 07 Dec 2015 10:23:50 +0100 | wenzelm | isabelle update_cartouches -c -t; | changeset | files |
| Mon, 07 Dec 2015 10:19:30 +0100 | wenzelm | tuned; | changeset | files |