Sun, 14 Aug 2016 22:48:23 +0200 | wenzelm | cpu time is optional (see Timing.message_resources); | file | diff | annotate |
Sun, 14 Aug 2016 22:35:38 +0200 | wenzelm | proper display of "_"; | file | diff | annotate |
Sun, 14 Aug 2016 22:17:32 +0200 | wenzelm | clarified options and arguments; | file | diff | annotate |
Sat, 13 Aug 2016 23:45:29 +0200 | wenzelm | gnuplot presentation similar to former isatest-statistics; | file | diff | annotate |
Sat, 13 Aug 2016 12:06:11 +0200 | wenzelm | statistics from session build output; | file | diff | annotate |