team-worthwhile/worthwhile — Issue #58: Interpreter throws ugly error message when prover is missing
Author: leonhandreke
Created: 2012-02-17 13:27:37+00:00
State: open