the Natural Deduction LaTeX Package

  1. Bug #159392
  2. Comment #1

Comment 1 for bug 159392

Revision history for this message
Dan Watkins (oddbloke) wrote :

There is an extra space being added to the right hand side of the cells in question. This can be fixed by adding a space to the right of _all_ the numbering cells, but this is sub-optimal