another upload appears:
Name of contribution: lplfitch Author's name: Richard Zach Package version: 0.9 Location on CTAN: macros/latex/contrib/lplfitch/ Summary description: Fitch-style natural deduction proofs a la mode de Language, Proof, and Logic License type: lppl
Announcement text given by the package's contributor:
The package lplfitch provides macros for typesetting natural deduction proofs in Fitch style, with subproofs indented and offset by scope lines. It produces proofs in the format used in the textbook Language, Proof, and Logic by Dave Barker-Plummer, Jon Barwise, and John Etchemendy.
Announcement required: Yes
thanks for the upload; i've installed the new package, and made an entry for it in the catalogue repository.
Users may view the package catalogue entry at http://www.ctan.org/pkg/lplfitch or they may browse the package directory at http://mirror.ctan.org/macros/latex/contrib/lplfitch/
Robin Fairbairns
For the CTAN team