| Wed, 12 Aug 2015 03:07:01 +0200 | wenzelm | merged | changeset | files |
| Wed, 12 Aug 2015 02:40:39 +0200 | wenzelm | tuned colors; | changeset | files |
| Wed, 12 Aug 2015 02:21:00 +0200 | wenzelm | clarified breakpoint rendering; | changeset | files |
| Wed, 12 Aug 2015 02:20:06 +0200 | wenzelm | clarified; | changeset | files |
| Wed, 12 Aug 2015 01:39:31 +0200 | wenzelm | default ML context for forks, e.g. relevant for debugging and toplevel pretty-printing; | changeset | files |
| Wed, 12 Aug 2015 01:25:00 +0200 | wenzelm | clarified init/exit vs. session phase; | changeset | files |
| Wed, 12 Aug 2015 10:15:18 +1000 | Daniel Matichuk | clarify type vs. term instantiation when forming closure; | changeset | files |
| Tue, 11 Aug 2015 22:17:19 +0200 | wenzelm | more accurate dependencies; | changeset | files |
| Tue, 11 Aug 2015 22:11:09 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 11 Aug 2015 22:06:25 +0200 | wenzelm | clarified thread re-selection; | changeset | files |
| Tue, 11 Aug 2015 22:01:11 +0200 | wenzelm | clarified tree row handling; | changeset | files |
| Tue, 11 Aug 2015 21:36:25 +0200 | wenzelm | proper context (amending 7aad4be8a48e); | changeset | files |
| Tue, 11 Aug 2015 21:24:11 +0200 | wenzelm | suppress threads without debug state; | changeset | files |
| Tue, 11 Aug 2015 21:15:29 +0200 | wenzelm | clarified events; | changeset | files |