| Wed, 09 Mar 2016 20:11:25 +0100 | wenzelm | ignore SIGINT in waiting wrapper process; | file | diff | annotate |
| Wed, 09 Mar 2016 14:24:16 +0100 | wenzelm | elapsed time in milliseconds (cf. Time.now in Poly/ML); | file | diff | annotate |
| Wed, 09 Mar 2016 13:33:21 +0100 | wenzelm | support for timing of the managed process; | file | diff | annotate |