Activity log for bug #156940

Date Who What changed Old value New value Message
2007-10-25 05:56:28 Dan Watkins bug added bug
2007-10-25 05:56:54 Dan Watkins naturaldeduction: importance Undecided Medium
2007-10-25 05:56:54 Dan Watkins naturaldeduction: status New Confirmed
2007-10-25 07:12:36 Dan Watkins naturaldeduction: importance Medium Critical
2007-10-25 08:29:34 Dan Watkins description When assumptions end and start right next to one another, 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} 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}
2007-10-25 08:29:34 Dan Watkins title Two adjacent assumptions causes breakage Two adjacent top-level assumptions causes breakage
2007-10-25 08:30:34 Dan Watkins naturaldeduction: importance Critical High
2007-11-01 22:19:50 Dan Watkins naturaldeduction: milestone 1.0
2007-11-01 22:34:51 Dan Watkins naturaldeduction: status Confirmed Fix Released
2007-11-01 22:34:51 Dan Watkins naturaldeduction: assignee daniel-thewatkins