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

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

---

Branch: pkgsrc-2018Q3, 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.

---

Master sites: (Expand)

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

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

---

Version history: (Expand)

• (2018-10-22) Package added to pkgsrc.se, version tex-lkproof-3.1 (created)

---

---

This site is operated by pkgsrc.pub, Contact