| Mon, 10 Aug 2015 16:14:50 +0200 | wenzelm | sort lines; | changeset | files |
| Mon, 10 Aug 2015 16:05:41 +0200 | wenzelm | rendering for debugger/breakpoint active state; | changeset | files |
| Mon, 10 Aug 2015 14:14:49 +0200 | wenzelm | follow debugger focus; | changeset | files |
| Mon, 10 Aug 2015 14:13:49 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 10 Aug 2015 13:54:12 +0200 | wenzelm | tuned imports; | changeset | files |
| Mon, 10 Aug 2015 11:23:49 +0200 | wenzelm | tuned messages; | changeset | files |
| Mon, 10 Aug 2015 11:20:16 +0200 | wenzelm | clarified ML options; | changeset | files |