Tue, 16 Aug 2016 15:55:11 +0200 wenzelm clarified presentation order, according to typical amounts;
Tue, 16 Aug 2016 15:51:44 +0200 wenzelm present ML timing as well;
Tue, 16 Aug 2016 12:41:43 +0200 eberlm Polynomial algebra cleanup (tuned)
Tue, 16 Aug 2016 12:02:09 +0200 eberlm Polynomial algebra cleanup
Sun, 14 Aug 2016 23:35:16 +0200 wenzelm provide index.html;
Sun, 14 Aug 2016 22:48:23 +0200 wenzelm cpu time is optional (see Timing.message_resources);
Sun, 14 Aug 2016 22:35:38 +0200 wenzelm proper display of "_";
Sun, 14 Aug 2016 22:17:32 +0200 wenzelm clarified options and arguments;
Sun, 14 Aug 2016 12:26:09 +0200 blanchet updated NEWS
Sun, 14 Aug 2016 12:26:09 +0200 blanchet optimized parent computation in MaSh
Sun, 14 Aug 2016 12:26:09 +0200 blanchet avoid loading MaSh file first time around for higher responsiveness of Sledgehammer
Sun, 14 Aug 2016 12:26:09 +0200 blanchet tuned MaSh's metacharacters to avoid needless decoding
Sun, 14 Aug 2016 12:26:09 +0200 blanchet optimization in MaSh parsing
Sun, 14 Aug 2016 12:26:09 +0200 blanchet tuned ML
Sun, 14 Aug 2016 12:26:09 +0200 blanchet removed trailing final stops in Nitpick messages
Sun, 14 Aug 2016 12:26:09 +0200 blanchet killed final stops in Sledgehammer and friends
Sun, 14 Aug 2016 12:26:09 +0200 blanchet tuned message
Sun, 14 Aug 2016 12:26:09 +0200 blanchet tuning punctuation in messages output by Isabelle
Sun, 14 Aug 2016 12:26:09 +0200 blanchet tuning whitespace in output syntax
Sat, 13 Aug 2016 23:45:29 +0200 wenzelm gnuplot presentation similar to former isatest-statistics;
Sat, 13 Aug 2016 23:33:58 +0200 wenzelm tuned;
Sat, 13 Aug 2016 12:06:11 +0200 wenzelm statistics from session build output;
Sat, 13 Aug 2016 12:05:53 +0200 wenzelm more uniform output;
Sat, 13 Aug 2016 07:58:14 +0200 nipkow added [simp] lemmas
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 tip