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 |