[tex-live] logic package

[Dr. Clea F. Rees]

I'm not sure about this, but TL seems to have combined two different
packages and treats them as one.

On CTAN:
http://tug.ctan.org/cgi-bin/ctanPackageInformation.py?id=logic
http://tug.ctan.org/cgi-bin/ctanPackageInformation.py?id=gene-logic
-> the packages have different authors, licensing info and seem to
serve different purposes. One appears to be a font for use in
electronic diagrams with logic gates etc. The other appears to be a
package to ease the typesetting of formulae in formal logic.

In TL:
texlive.tlpdb lists files from both packages as belonging to the
package logic with its (lack of) licensing information etc.:
name logic
category Package
revision 7340
shortdesc A font for electronic logic design.
longdesc A MetaFont font, and a minuscule set of macros for its use, 
longdesc designed in support of logic design diagrams.
docfiles size=10
  texmf-dist/doc/latex/logic/gn-logic14.dvi
  texmf-dist/doc/latex/logic/gn-logic14.tex
  texmf-dist/doc/latex/logic/milstd.
texrunfiles size=5
  texmf-dist/fonts/source/public/logic/milstd.mf
  texmf-dist/fonts/tfm/public/logic/milstd.tfm
  texmf-dist/tex/latex/logic/gn-logic14.sty
catalogue-ctan/fonts/logic
catalogue-date 2008-09-26 00:26:59 +0200
catalogue-license noinfo

- cfr