Man Linux: Main Page and Category List


       legotags - creates Proof General tags for Lego theories.


       legotags files


       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.


       files  One or more theory files for the Lego theorem prover.


       This manual page was written by Stefan Schimanski <>,
       for the Debian GNU/Linux system (but may be used by others).



       For  more  information  take  a  look  at the documentation in the info
       system with info proofgeneral