Milestones

Milestones belong to a series and can be created from the series page by a project owner or series release manager.

Version Series Expected Released Summary
the Natural Deduction LaTeX Package 1.0 trunk None not yet released The initial release of the package. After this point, existing documents whi...