Width of columns should be automatically calculated
Bug #156944 reported by
Dan Watkins
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| the Natural Deduction LaTeX Package |
Confirmed
|
Wishlist
|
Unassigned | ||
Bug Description
The width of columns should be neither hardcoded nor necessarily specifiable. Given the contents of the proofs, the package should automatically determine the ideal column widths.
Related to bug #156943.
| Changed in naturaldeduction: | |
| importance: | Undecided → Wishlist |
| status: | New → Confirmed |
To post a comment you must log in.
