coq-tex(1) on Linux

The text b1dc428ed05a, as Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody), Debian 2.2 (Potato) shipped it.

Process Coq phrases embedded in LaTeX files

Flags it lists