| Tue, 10 Nov 2015 22:20:46 +0100 | wenzelm | more thorough check_action, including completion; | file | diff | annotate |
| Tue, 10 Nov 2015 21:52:18 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 10 Nov 2015 20:10:17 +0100 | wenzelm | clarified modules; | file | diff | annotate |