Sun, 06 Nov 2011 17:05:45 +0100 tuned;
wenzelm [Sun, 06 Nov 2011 17:05:45 +0100] rev 45361
tuned;
Sun, 06 Nov 2011 17:00:05 +0100 some statespace benchmarks;
wenzelm [Sun, 06 Nov 2011 17:00:05 +0100] rev 45360
some statespace benchmarks;
Sun, 06 Nov 2011 16:41:53 +0100 write changed .prv files only, to avoid writing into src file-space by default;
wenzelm [Sun, 06 Nov 2011 16:41:53 +0100] rev 45359
write changed .prv files only, to avoid writing into src file-space by default;
Sun, 06 Nov 2011 16:29:22 +0100 tuned document;
wenzelm [Sun, 06 Nov 2011 16:29:22 +0100] rev 45358
tuned document; tuned proofs;
Sun, 06 Nov 2011 16:22:26 +0100 more precise dependencies;
wenzelm [Sun, 06 Nov 2011 16:22:26 +0100] rev 45357
more precise dependencies;
Sun, 06 Nov 2011 14:20:41 +0100 inlined antiquotations;
wenzelm [Sun, 06 Nov 2011 14:20:41 +0100] rev 45356
inlined antiquotations;
Sun, 06 Nov 2011 14:09:24 +0100 misc tuning and modernization;
wenzelm [Sun, 06 Nov 2011 14:09:24 +0100] rev 45355
misc tuning and modernization;
Sun, 06 Nov 2011 13:25:41 +0100 optional timing, to avoid redundant allocation of mutable cells;
wenzelm [Sun, 06 Nov 2011 13:25:41 +0100] rev 45354
optional timing, to avoid redundant allocation of mutable cells;
Sat, 05 Nov 2011 22:41:25 +0100 tuned;
wenzelm [Sat, 05 Nov 2011 22:41:25 +0100] rev 45353
tuned;
Sat, 05 Nov 2011 22:01:19 +0100 misc tuning;
wenzelm [Sat, 05 Nov 2011 22:01:19 +0100] rev 45352
misc tuning;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip