Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
Tue, 29 Sep 2009 16:24:36 +0200 | wenzelm | explicit indication of Unsynchronized.ref; | file | diff | annotate |
Sun, 01 Mar 2009 16:21:33 +0100 | wenzelm | end_timing: generalized result -- message plus with explicit time values; | file | diff | annotate |
Sat, 27 Oct 2007 18:37:33 +0200 | obua | better compute oracle | file | diff | annotate |