Rechercher une page de manuel
legotags
Langue: en
Version: 262602 (debian - 07/07/09)
Section: 1 (Commandes utilisateur)
NAME
legotags - creates Proof General tags for Lego theories.SYNOPSIS
legotags filesDESCRIPTION
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
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre