Thu, 01 Sep 2011 16:58:03 +0200 | wenzelm | modernized theory name; | file | diff | annotate |
Thu, 01 Sep 2011 16:46:07 +0200 | wenzelm | repaired benchmarks; | file | diff | annotate |
Fri, 27 Aug 2010 14:07:09 +0200 | wenzelm | expanded some aliases from structure Unsynchronized; | file | diff | annotate |
Wed, 21 Jul 2010 17:55:07 +0200 | wenzelm | recovered benchmarks, which are not tested automatically; | file | diff | annotate |
Sun, 15 Nov 2009 15:13:31 +0100 | wenzelm | eliminated obsolete CVS Ids; | file | diff | annotate |
Sun, 15 Nov 2009 13:06:07 +0100 | schirmer | added benchmark for large records | file | diff | annotate |