./print/tex-lkproof, LK Proof figure macros

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

---

Branch: pkgsrc-2017Q1, Version: 3.1, Package name: tex-lkproof-3.1, Maintainer: markd

The package defines a pair of commands \infer and \deduce, that
are used in constructing LK proof diagrams.


Required to run:
[print/kpathsea]

Required to build:
[pkgtools/cwrappers]

---

Master sites: (Expand)

• http://cdn.NetBSD.org/pub/pkgsrc/distfiles/
• http://ftp6.NetBSD.org/pub/pkgsrc/distfiles/

• ftp://ftp.fr.NetBSD.org/pub/pkgsrc/distfiles/
• http://ftp.fr.NetBSD.org/pub/pkgsrc/distfiles/
• ftp://ftp.NetBSD.org/pub/pkgsrc/distfiles/
• http://ftp.NetBSD.org/pub/pkgsrc/distfiles/

---

Version history: (Expand)

• (2017-04-04) Package added to pkgsrc.se, version tex-lkproof-3.1 (created)

---

---

This site is operated by pkgsrc.pub, Contact