Currently, the sproof environment takes a required argument for an introductory/overview sentence like so:
\begin{sproof}{Consider first \symname{DPLL?DPLL} with no \symref{DPLL?UP}{unit propagation}.}
This is suboptimal as it does not allow to declare symbols or variables that affect this sentence.
Instead this argument should be given by a \spfcomment or so.
Currently, the
sproofenvironment takes a required argument for an introductory/overview sentence like so:This is suboptimal as it does not allow to declare symbols or variables that affect this sentence. Instead this argument should be given by a
\spfcommentor so.