whelp locate "s"
whelp hint t
whelp elim t
whelp match t
whelp instance t
whelp [locate qstring | hint term | elim term | match term | instance term ]
Performs the corresponding query, showing the result in the CIC browser. The command is removed from the script.
Matita Home