/* Last modified on Thu Sep 24 12:52:37 PDT 1992 by mhb     */
/*      modified on Tue Sep  8 20:22:33 PDT 1992 by johnh   */
/*      modified on Tue Jul 28 07:32:23 1992 by owicki  */

zume           (PQueue)

module         (PQueue)
module         (PQAlgs)
module         (PQViews)
module         (PQBarView)

resource       (algs.m3)
resource       (pqueueinput.fv)

#ifndef MENTOR_UMBRELLA
import_obj     ($(ZEUSLIB))
implementation (Main)
bundle         (PQueueBundle)
program        (pqueue)
#endif

