Mon, 15 Jul 2013 10:25:35 +0200 | wenzelm | more careful termination of removed execs, leaving running execs undisturbed; | file | diff | annotate |
Fri, 12 Jul 2013 12:17:03 +0200 | wenzelm | tuned; | file | diff | annotate |
Fri, 12 Jul 2013 12:04:16 +0200 | wenzelm | clarified execution: maintain running execs only, check "stable" separately via memo (again); | file | diff | annotate |
Fri, 12 Jul 2013 11:28:03 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Fri, 12 Jul 2013 11:07:02 +0200 | wenzelm | clarified module name; | file | diff | annotate | base |