| Sat, 23 Apr 2011 13:00:19 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Mon, 04 Apr 2011 09:32:50 +0200 | krauss | raised timeouts further, for SML/NJ -- because of variations in machines/compilers, fixed timeouts can merely prevent non-termination, not enforce particular performance characteristics. | file | diff | annotate |
| Mon, 28 Mar 2011 17:33:16 +0200 | krauss | raised various timeouts to accommodate sluggish SML/NJ | file | diff | annotate |
| Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
| Thu, 02 Dec 2010 16:39:07 +0100 | haftmann | adapted expected value to more idiomatic numeral representation | file | diff | annotate |
| Mon, 25 Oct 2010 21:17:12 +0200 | bulwahn | changing test parameters in examples to get to a result within the global timelimit | file | diff | annotate |
| Fri, 22 Oct 2010 18:38:59 +0200 | bulwahn | updating to new notation in commented examples | file | diff | annotate |