the Natural Deduction LaTeX Package

the Natural Deduction LaTeX Package trunk series

The "trunk" series represents the primary line of development rather than a stable release branch. This is sometimes also called MAIN or HEAD.

Series information

Project:
the Natural Deduction LaTeX Package
Series:
trunk
Project drivers:
Dan Watkins
Release manager:
None
Status:
Active Development
Project development focus:
is the focus of development.
Release URL pattern:
None

Download RDF metadata

Code for this series

The following branch has been registered as the mainline branch for this release series:

8 revisions.

You can get a copy of the development focus branch using the command:
bzr branch lp:naturaldeduction

Browse the code

Milestones and releases

1 → 1 of 1 result First • Previous • Next • Last
Version Expected Released Summary
the Natural Deduction LaTeX Package 1.0 None not yet released The initial release of the package. After this point, existing documents whi...
Bugs targeted: 2 Confirmed, 1 In Progress, 2 Fix Released
1 → 1 of 1 result First • Previous • Next • Last

All bugs Latest bugs reported

All packages Distribution packaging

This series is not packaged in any distribution series.

Related series, milestones, and releases

This series contains Public information
Everyone can see this information.

Downloads

trunk does not have any download files.

Get Involved