(* $smlnj/smlnj-lib/pp-lib.cm
 *
 *   This is a proxy for $SMLNJ-LIB/PP/pp-lib.cm and represents
 *   the version of the SML/NJ pretty-printing library that is internally
 *   used by the implementation of the system itself.
 *
 *   User code can refer to it as $/pp-lib.cm, but the $pp-lib.cm
 *   anchor may be redefined to point to a different version
 *   without affecting the compiler itself.
 *
 *   Copyright (c) 2005 by The Fellowship of SML/NJ
 *
 * author: Matthias Blume (blume@tti-c.org)
 *)     
Library
	library ($SMLNJ-LIB/PP/pp-lib.cm)
is
	$SMLNJ-LIB/PP/pp-lib.cm
		(bind:(anchor:basis.cm value:$SMLNJ-BASIS)
		 bind:(anchor:smlnj-lib.cm value:$SMLNJ-LIB/Util)
		 bind:(anchor:html-lib.cm value:$SMLNJ-LIB/HTML)
		 bind:(anchor:pp-lib.cm value:$SMLNJ-LIB/PP)
		 bind:(anchor:controls-lib.cm value:$SMLNJ-LIB/Controls)
		 bind:(anchor:ml-yacc-lib.cm value:$SMLNJ-ML-YACC-LIB))

