/*  $Id: INDEX.pl,v 1.1.1.1 1994/06/27 13:17:27 jan Exp $

    Creator: make/0

    Purpose: Provide index for autoload
*/

index((prompt), 2, pce_prompt, 'prompt.pl').