| Fri, 12 Sep 2008 10:54:00 +0200 | wenzelm | pretty_fact: extern fact name wrt. the given context, assuming that is the proper one for presentation; | changeset | files |
| Thu, 11 Sep 2008 22:22:59 +0200 | wenzelm | cancel, shutdown: notify_all; | changeset | files |
| Thu, 11 Sep 2008 22:22:20 +0200 | wenzelm | finish: Future.shutdown last; | changeset | files |