pp-lib.cm

这是我们参加06年全国开源软件的竞赛作品

(* 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