the Natural Deduction LaTeX Package 1.0
The initial release of the package. After this point, existing documents which make use of the package should not be broken by any changes made, which will necessitate the use of new environments for any new features.
Milestone information
- Active:
- Yes. Drivers can target bugs and blueprints to this milestone.
Activities
- Assigned to you:
- No blueprints or bugs assigned to you.
- Assignees:
- 2 Dan Watkins
- Blueprints:
- No blueprints are targeted to this milestone.
- Bugs:
- 2 Confirmed, 1 In Progress, 2 Fix Released
0 blueprints and 5 bugs targeted
Bug report | Importance | Assignee | Status | |||
---|---|---|---|---|---|---|
156946 | #156946 | 'state' is not a good keyword | 4 Medium | 6 Confirmed | ||
159385 | #159385 | Documentation needed | 4 Medium | 6 Confirmed | ||
159390 | #159390 | Test document needed | 3 High | 8 In Progress | ||
156940 | #156940 | Two adjacent top-level assumptions causes breakage | 3 High | Dan Watkins | 10 Fix Released | |
156943 | #156943 | Width of columns should be specifiable | 4 Medium | Dan Watkins | 10 Fix Released |