| Wed, 09 Jan 2013 13:38:57 +0100 | wenzelm | standardized treatment of timing properties; | file | diff | annotate |
| Tue, 08 Jan 2013 21:16:51 +0100 | wenzelm | include timing properties in log; | file | diff | annotate |
| Wed, 24 Aug 2011 15:30:43 +0200 | wenzelm | ignore irrelevant timings; | file | diff | annotate |
| Sun, 15 May 2011 20:50:22 +0200 | wenzelm | only show relevant timing; | file | diff | annotate |
| Mon, 21 Mar 2011 20:15:03 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 20 Mar 2011 21:44:38 +0100 | wenzelm | pure Timing.timing, without any exception handling; | file | diff | annotate |
| Sun, 20 Mar 2011 21:28:11 +0100 | wenzelm | structure Timing: covers former start_timing/end_timing and Output.timeit etc; | file | diff | annotate |
| Sat, 06 Nov 2010 17:55:32 +0100 | wenzelm | somewhat more uniform timing in ML vs. Scala; | file | diff | annotate | base |