| Fri, 18 Jan 2013 16:20:09 +0100 |
added "tasks_proof" statistics, via slighly odd global reference Future.forked_proofs (NB: Future.report_status is intertwined with scheduler thread);
|
file | diff | annotate |
| Sat, 12 Jan 2013 22:14:29 +0100 |
proper window title;
|
file | diff | annotate |
| Sat, 12 Jan 2013 22:08:38 +0100 |
add icon for toplevel windows;
|
file | diff | annotate |
| Tue, 08 Jan 2013 21:16:51 +0100 |
include timing properties in log;
|
file | diff | annotate |
| Thu, 03 Jan 2013 13:54:45 +0100 |
improved Monitor_Dockable, based on ML_Statistics operations;
|
file | diff | annotate |
| Wed, 02 Jan 2013 21:55:57 +0100 |
added standard_frames convenience;
|
file | diff | annotate |
| Wed, 02 Jan 2013 21:39:54 +0100 |
some grouping of standard fields;
|
file | diff | annotate |
| Wed, 02 Jan 2013 21:02:47 +0100 |
some support for chart drawing;
|
file | diff | annotate |
| Wed, 02 Jan 2013 19:23:18 +0100 |
some support for ML statistics content interpretation;
|
file | diff | annotate |
| Wed, 02 Jan 2013 16:48:22 +0100 |
ML runtime statistics: read properties from build log;
|
file | diff | annotate |