Documentation needed
Bug #159385 reported by
Dan Watkins
| Affects | Status | Importance | Assigned to | Milestone | ||
|---|---|---|---|---|---|---|
| the Natural Deduction LaTeX Package | Status tracked in Trunk | |||||
| Trunk |
Confirmed
|
Medium
|
Unassigned | |||
Bug Description
Before the first release, decent documentation is needed.
| Changed in naturaldeduction: | |
| importance: | Undecided → Medium |
| status: | New → Confirmed |
To post a comment you must log in.
