chiark / gitweb /
Sort out testing of forallqueries.