Documentation unclear on what goes to std:cout and std:cerr
I packaged gappa in Debian, with a simple sanity check ; you'll notice that I had to redirect cerr to basic.output, because the output wasn't in cout.
That surprised me because the manpage mentioned "Read a statement on standard input and display its proof on standard output.", so perhaps the sentence could explain what goes to cout and what goes to cerr.