legotags(1) on Linux

The text 42ea80bc566a, as Debian 6.0 (Squeeze), Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it. The page shows this text now.

creates Proof General tags for Lego theories.