| Sat, 25 Aug 2018 10:42:08 +0200 | wenzelm | actually ensure globally unique counter results (amending a5853334c179); | file | diff | annotate |
| Sat, 09 Apr 2016 11:35:01 +0200 | wenzelm | ensure globally unique counter results; | file | diff | annotate |
| Fri, 05 Jul 2013 23:10:18 +0200 | wenzelm | more uniform Counter in ML and Scala; | file | diff | annotate |