| Mon, 11 Sep 2017 18:36:13 +0200 | wenzelm | clarified signature: proper result; | file | diff | annotate |
| Sat, 11 Jun 2016 16:41:11 +0200 | wenzelm | clarified syntax; | file | diff | annotate |
| Mon, 30 May 2016 14:15:44 +0200 | wenzelm | allow 'for' fixes for multi_specs; | file | diff | annotate |