heading level. It's _almost_ apt to have it as a subheading of
midend_solve(), but not quite, and it certainly wasn't intentional - I
must have absentmindedly typed the wrong Halibut command letter.
[originally from svn r9142]
\cw{activate_timer()} to be called from within a call to this
function.
-\S{midend-is-solved} \cw{midend_is_solved()}
+\H{midend-is-solved} \cw{midend_is_solved()}
\c int midend_is_solved(midend *me);