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 _______________________________________________ Ctan-ann mailing list Ctan-ann@dante.de https://lists.dante.de/mailman/listinfo/ctan-ann