LaTeX Packages

Jump to: plstx pfsteps ottalt subref crush listproc

---

The plstx Package

This package provides a configurable environment plstx for high-quality typesetting of grammars for programming language theory.

Dependencies: listproc

• Documentation (pdf, 260 KiB)
• Package archive: plstx.tar.gz (272 KiB) or plstx.zip (272 KiB)
• Files: listproc.sty (11 KiB) | Makefile (618 B) | plstx.dtx (36 KiB) | plstx.ins (1.3 KiB) | plstx.sty (9.0 KiB)

---

The pfsteps Package

This package provides three facilities for making it easier to write proofs in LaTeX:

1. proof step counters and references, inspired by Rémy’s locallabel package, but with a different interface;
2. a proof display environment pfsteps for printing line-by-line proofs with justifications; and
3. the byCases environment for proofs by cases.

Dependencies: listproc

• Documentation (pdf, 334 KiB)
• Package archive: pfsteps.tar.gz (348 KiB) or pfsteps.zip (348 KiB)
• Files: listproc.sty (11 KiB) | Makefile (619 B) | pfsteps.dtx (45 KiB) | pfsteps.ins (1.3 KiB) | pfsteps.sty (8.3 KiB)

---

The ottalt Package

Ott is a tool for writing definitions of programming languages and calculi. It can generate LaTeX definitions for typesetting grammars and inference rules written in its domain-specific language for describing such things.

This package redefines several macros that Ott generates for typesetting grammars and rules, and it provides several new macros that make it easy to include grammars and rules in a document on an individual basis.

Dependencies: listproc mathpartir

• Documentation (pdf, 370 KiB)
• Package archive: ottalt.tar.gz (389 KiB) or ottalt.zip (390 KiB)
• Files: listproc.sty (11 KiB) | Makefile (954 B) | Makefile.sample (1.2 KiB) | ottalt.dtx (52 KiB) | ottalt.ins (2.6 KiB) | ottalt.ott (2.6 KiB) | ottalt.ott.tex (5.4 KiB) | ottalt.sty (7.9 KiB)

---

The subref Package

This package provides macros for referring to nested references. I use this when I have a theorem with multiple parts in order to attach labels to each part that refer to both the theorem number and the part number.

• Documentation (pdf, 196 KiB)
• Package archive: subref.tar.gz (199 KiB) or subref.zip (199 KiB)
• Files: Makefile (593 B) | subref.dtx (11 KiB) | subref.ins (1.3 KiB) | subref.sty (2.2 KiB)

---

The crush Package

This package provides macros that are useful when text or math needs to overlap or spill outside its enclosing box. For example, the \crushr macro sets its argument right-aligned in a 0 width box, so it spills out to the left.

There is also a command \shrinkbox which equalizes the line lengths of its argument, including the last line. This is useful, for example, to make centered titles look good without resorting to manual line breaks.

• Documentation (pdf, 218 KiB)
• Package archive: crush.tar.gz (224 KiB) or crush.zip (224 KiB)
• Files: crush.dtx (21 KiB) | crush.ins (1.3 KiB) | crush.sty (4.4 KiB) | Makefile (591 B)

---

The listproc Package

This package provides a variety of list processing macros, including sorting, compressing ranges, mapping and iteration. Several other packages on this page (ottalt, plstx, pfsteps) depend on listproc.

• Documentation (pdf, 251 KiB)
• Package archive: listproc.tar.gz (263 KiB) or listproc.zip (262 KiB)
• Files: listproc.dtx (42 KiB) | listproc.ins (1.3 KiB) | listproc.sty (11 KiB) | Makefile (595 B)

---

Home