| Wed, 21 Mar 2012 11:00:34 +0100 | wenzelm | prefer explicitly qualified exception List.Empty; | file | diff | annotate |
| Wed, 21 Jan 2009 23:21:44 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Thu, 04 Sep 2008 16:43:48 +0200 | wenzelm | Efficient queues. | file | diff | annotate |