isartags(1) on Linux

The text 8d36110d5c47, 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 Isabelle Isar theories.