| Sat, 12 Jan 2013 22:14:29 +0100 |
wenzelm |
proper window title;
|
file |
diff |
annotate
|
| Sat, 12 Jan 2013 22:08:38 +0100 |
wenzelm |
add icon for toplevel windows;
|
file |
diff |
annotate
|
| Tue, 08 Jan 2013 21:16:51 +0100 |
wenzelm |
include timing properties in log;
build_history_base
|
file |
diff |
annotate
|
| Thu, 03 Jan 2013 13:54:45 +0100 |
wenzelm |
improved Monitor_Dockable, based on ML_Statistics operations;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2013 21:55:57 +0100 |
wenzelm |
added standard_frames convenience;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2013 21:39:54 +0100 |
wenzelm |
some grouping of standard fields;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2013 21:02:47 +0100 |
wenzelm |
some support for chart drawing;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2013 19:23:18 +0100 |
wenzelm |
some support for ML statistics content interpretation;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2013 16:48:22 +0100 |
wenzelm |
ML runtime statistics: read properties from build log;
|
file |
diff |
annotate
|