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