| Wed, 03 Apr 2013 21:48:43 +0200 |
wenzelm |
additional timing status for implicitly forked terminal proofs -- proper accounting for interactive Timing dockable etc.;
|
file |
diff |
annotate
|
| Wed, 20 Feb 2013 15:22:22 +0100 |
wenzelm |
more tight representation of command timing;
|
file |
diff |
annotate
|
| Tue, 19 Feb 2013 12:58:32 +0100 |
wenzelm |
support for prescient timing information within command transactions;
|
file |
diff |
annotate
|
| 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;
build_history_base
|
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
|