Last commit didn't compile. This compiles, and now outputs to proof pane
in GUI rather than standard output. Also produces error in proof pane if
there are any.