wp_header
one of
the documented procedures
in this installation of the ACS
Usage:
wp_header
args
What it does:
Returns a header for WimpyPoint.
Defined in:
/web/philip/tcl/wp-defs.tcl
Source code:
return [wp_header_intl "*NONE*" $args]
philg@mit.edu