chiark / gitweb /
supported more stopping criteria in subplex (still a little too pessimistic)