| Fri, 07 Oct 2016 17:12:47 +0200 |
wenzelm |
clarified parse_build_info: isabelle build output;
|
file |
diff |
annotate
|
| Thu, 06 Oct 2016 11:13:12 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Wed, 05 Oct 2016 14:15:54 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 01 Oct 2016 20:58:59 +0200 |
wenzelm |
tuned messages -- facilitate copy-paste;
|
file |
diff |
annotate
|
| Tue, 20 Sep 2016 22:31:50 +0200 |
wenzelm |
tuned -- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 05 Sep 2016 22:09:52 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 16 Aug 2016 20:54:37 +0200 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Tue, 16 Aug 2016 15:55:11 +0200 |
wenzelm |
clarified presentation order, according to typical amounts;
|
file |
diff |
annotate
|
| Tue, 16 Aug 2016 15:51:44 +0200 |
wenzelm |
present ML timing as well;
|
file |
diff |
annotate
|
| Sun, 14 Aug 2016 23:35:16 +0200 |
wenzelm |
provide index.html;
|
file |
diff |
annotate
|
| 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
|