(* pp-lib.cm.cm
 *
 * COPYRIGHT (c) 1997 Bell Labs, Lucent Technologies.
 *
 * The main sources file for the PP library.
 *)

Library

  signature PP_DEVICE
  signature PP_TOKEN
  signature PP_STREAM

  functor PPStreamFn
  functor PPDebugFn

(* devices *)
  structure TextIOPP
  structure SimpleTextIODev
  structure HTMLDev
  structure StringToken

is
  src/sources.cm
  devices/sources.cm

