wenzelm [Sun, 06 Nov 2011 18:42:15 +0100] rev 45363
misc tuning and modernization;
more antiquotations;
wenzelm [Sun, 06 Nov 2011 17:53:32 +0100] rev 45362
misc tuning and modernization;
more antiquotations;
wenzelm [Sun, 06 Nov 2011 17:05:45 +0100] rev 45361
tuned;
wenzelm [Sun, 06 Nov 2011 17:00:05 +0100] rev 45360
some statespace benchmarks;
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;
wenzelm [Sun, 06 Nov 2011 16:29:22 +0100] rev 45358
tuned document;
tuned proofs;
wenzelm [Sun, 06 Nov 2011 16:22:26 +0100] rev 45357
more precise dependencies;
wenzelm [Sun, 06 Nov 2011 14:20:41 +0100] rev 45356
inlined antiquotations;
wenzelm [Sun, 06 Nov 2011 14:09:24 +0100] rev 45355
misc tuning and modernization;
wenzelm [Sun, 06 Nov 2011 13:25:41 +0100] rev 45354
optional timing, to avoid redundant allocation of mutable cells;