./print/tex-semantic, Help for writing programming language semantics

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

---

Branch: pkgsrc-2022Q1, Version: 2.0, Package name: tex-semantic-2.0, Maintainer: pkgsrc-users

Eases the typesetting of notation of semantics and compilers.
Includes T-diagrams, various derivation symbols and inference
trees.

---

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)

• (2022-03-31) Package added to pkgsrc.se, version tex-semantic-2.0 (created)

---

---

This site is operated by pkgsrc.pub, Contact