Man Linux: Main Page and Category List


       isartags - creates Proof General tags for Isabelle Isar theories.


       isartags files


       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.


       files  One or more Isar theory files for the Isabelle  theorem  prover.
              Usually these files end with .thy


       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