[tex-live] logic package

[Robin Fairbairns]

Dr. Clea F. Rees <cfrees at imapmail.org> wrote:

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

i'm sure you're right.  well spotted!

> 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.

i.e., mathematical logic -- that which the electronic stuff (that
computers are made of) was named after.

> In TL:
> texlive.tlpdb lists files from both packages as belonging to the
> package logic with its (lack of) licensing information etc.:
> name logic

whereas miktex puts the macro package into a bundle called gn-logic.

this stuff all dates back into history of before my time as a ctanner.
the logic font is called milstd (presumably there is or was some
military force somewhere that has a standard for logic design).  to add
to the confusion there's a latex 2.09 document style called milstd
(which contains no actual useful comments anywhere, that i've noticed,
so i don't know why it's so called).

with a clear brain and indefinite spare time i might manage to sort this
stuff out.  but given the circumstances ...

thanks for the contribution.

robin