ref: 2054da9f682680392ce28a04333ca659479d9606
parent: 980880be1f2801b2a69fcc67abc0f5827fd106f2
author: Simon Tatham <anakin@pobox.com>
date: Sun Apr 3 03:55:18 EDT 2011
Move up midend_is_solved() in the developer docs from subheading to 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]
--- a/devel.but
+++ b/devel.but
@@ -3118,7 +3118,7 @@
\cw{activate_timer()} to be called from within a call to thisfunction.
-\S{midend-is-solved} \cw{midend_is_solved()}+\H{midend-is-solved} \cw{midend_is_solved()}\c int midend_is_solved(midend *me);