UTILITY : utility

Top Levels

• prompt-read
• query

Review

• in-mode
• pcall

Flags

• update-flag

Collecting Help

• print-html

Starting and Finishing

• reroute-output
• reroute-output-append
• stringdt
• stringdtl

Predicates on Wffs

• defwfftest

Wff Types

• prtwff

Basics

• %catch%
• %throw%
• complain
• copy
• defconstype
• deflisttype
• for-each
• msg
• msgf
• set-of
• throwfail
• tps-warning
• ttymsg

ETPS documentation homepage

TPS homepage