Two adjacent top-level assumptions causes breakage

[Dan Watkins]

When assumptions end and start right next to one another and are not within another assumption, they typeset in an incredibly ugly way. The code below causes such breakage.

\begin{proof}
 \state{$p\vee q$}{premise}
 \assumption{2}{
  \state{$p$}{assumption}
  \state{$q\vee p$}{$\vee i_2$ 2}
 }
 \assumption{2}{
  \state{$q$}{assumption}
  \state{$q\vee p$}{$\vee i_1$ 4}
 }
 \state{$q\vee p$}{$\vee e$ 1, 2-3, 4-5}
\end{proof}

[Dan Watkins (oddbloke)]

Bumped this to critical as it affects _all_ disjunction elimination.

[Dan Watkins (oddbloke)]

Bumped this back down to High as it only affects top-level assumption. Below is some code which is not broken.

\begin{center}
 \begin{proof}
  \state{$\neg p\vee q$}{premise}
  \assumption{7}{
   \state{$p$}{assumption}
   \assumption{3}{
    \state{$\neg p$}{assumption}
    \state{$\bot$}{$\neg e$ 2, 3}
    \state{$q$}{$\bot e$ 4}
   }
   \assumption{2}{
    \state{$q$}{assumption}
    \state{$q$}{copy 6}
   }
   \state{$q$}{$\vee e$ 1, 3-5, 6-7}
  }
  \state{$p\rightarrow q$}{$\rightarrow i$ 2-8}
 \end{proof}
\end{center}

[Dan Watkins (oddbloke)]

Fixed in trunk, revision 3.