LIBRARYCMD : library command

Top Levels

• leave

Display

• key
• libfiles
• libobjects-in-file
• list-of-libobjects
• scribe-all-wffs
• scribelibdir
• scribelibfile
• search
• search2
• show
• show-all-wffs
• show-help
• show-objects-in-file
• show-timing
• show-wff
• show-wff&help
• show-wffs-in-file
• tex-all-wffs
• texlibdir
• texlibfile

Reading

• destroy
• fetch
• find-provable
• restore-masterindex
• retrieve-file

Editing

• change-provability
• check-needed-objects
• copy-libdir
• copy-libfile
• copy-libobject
• create-lib-dir
• create-lib-subdir
• delete
• delete-lib-dir
• delete-libfile
• fix-modes
• import-needed-objects
• insert
• move-libfile
• move-libobject
• reformat
• reindex
• rename-libdir
• rename-libfile
• rename-object
• sort
• spring-clean

Keywords

• add-keyword
• change-keywords
• show-keywords
• update-keywords

Best modes

• add-bestmode
• delete-bestmode
• find-dup-modes
• modify-bestmode
• show-bestmode
• show-new-bestmodes
• update-provability

TPS documentation homepage

TPS homepage