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]