Thu, 02 Dec 2010 10:46:03 +0100 | wenzelm | builtin time bounds (again); | file | diff | annotate |
Wed, 01 Dec 2010 20:34:40 +0100 | wenzelm | more abstract/uniform handling of time, preferring seconds as Double; | file | diff | annotate |
Sat, 06 Nov 2010 17:55:32 +0100 | wenzelm | somewhat more uniform timing in ML vs. Scala; | file | diff | annotate |