new on ctan: lplfitch

[CTAN Announcements]

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