Tue, 29 Sep 2009 11:49:22 +0200 | wenzelm | explicit indication of Unsynchronized.ref; | file | diff | annotate |
Sat, 10 Jan 2009 01:28:03 +0100 | wenzelm | added force_result; | file | diff | annotate |
Thu, 04 Dec 2008 23:00:21 +0100 | wenzelm | renamed type Lazy.T to lazy; | file | diff | annotate |
Thu, 23 Oct 2008 14:22:16 +0200 | wenzelm | renamed structure Susp to Lazy, and Susp.delay to Lazy.lazy; | file | diff | annotate |