chiark / gitweb /
Forgot to mention that you can undo a Solve operation.