Man Linux: Main Page and Category List

NAME

       legotags - creates Proof General tags for Lego theories.

SYNOPSIS

       legotags files

DESCRIPTION

       This  manual page documents the legotags program.  This manual page was
       written for the Debian  GNU/Linux  distribution  because  the  original
       program does not have a manual page.

       The  legtags  command  creates  a  tags  table for the specified 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 theory files for the Lego theorem prover.

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