| Tue, 06 May 2014 15:54:22 +0200 | wenzelm | tuned GUI layout; | changeset | files |
| Tue, 06 May 2014 11:16:13 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 05 May 2014 22:14:56 +0200 | wenzelm | some complication with ListView.Renderer to get tooltips; | changeset | files |
| Mon, 05 May 2014 20:10:33 +0200 | wenzelm | expose interrupts more like ML version, but not in managed bash processes of Build; | changeset | files |
| Mon, 05 May 2014 17:48:55 +0200 | wenzelm | merged | changeset | files |
| Mon, 05 May 2014 17:27:42 +0200 | wenzelm | uniform Toplevel.print for all proof commands; | changeset | files |
| Mon, 05 May 2014 17:14:46 +0200 | wenzelm | clarified print operations for "terms" and "theorems"; | changeset | files |