| Sun, 28 Dec 2008 20:46:25 +0100 | wenzelm | removed redundant CommandChangeInfo; | changeset | files |
| Sun, 28 Dec 2008 20:35:34 +0100 | wenzelm | command id via Isabelle.plugin; | changeset | files |
| Sun, 28 Dec 2008 20:31:13 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 28 Dec 2008 20:30:54 +0100 | wenzelm | added central id generator; | changeset | files |
| Sun, 28 Dec 2008 19:37:51 +0100 | wenzelm | command state color: use PG 4.0 values; | changeset | files |
| Sun, 28 Dec 2008 19:26:18 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 28 Dec 2008 18:40:38 +0100 | wenzelm | superficial tuning; | changeset | files |