NAME
isartags - creates Proof General tags for Isabelle Isar theories.
SYNOPSIS
isartags files
DESCRIPTION
This manual page documents the isartags program. This manual page was
written for the Debian GNU/Linux distribution because the original
program does not have a manual page.
The isartags command creates a tags table for the specified
Isabelle/Isar theory files. Once a tag table has been made for your
proof developments, you can use the Emacs tags mechanisms to find tags,
and complete symbols from tags table.
More information about Proof General tag support can be found in the
chapter 5.6 of the Proof General documentation available in info and
html format.
OPTIONS
files One or more Isar theory files for the Isabelle theorem prover.
Usually these files end with .thy
AUTHOR
This manual page was written by Stefan Schimanski <schimmi@debian.org>,
for the Debian GNU/Linux system (but may be used by others).
SEE ALSO
proofgeneral(1)
For more information take a look at the documentation in the info
system with info proofgeneral