--- a/src/Pure/ML-Systems/alice.ML Wed Aug 15 19:24:23 2007 +0200
+++ b/src/Pure/ML-Systems/alice.ML Wed Aug 15 20:26:57 2007 +0200
@@ -90,7 +90,7 @@
fun print x = x;
-(* toplevel pretty printing (see also Pure/install_pp.ML) *)
+(* toplevel pretty printing (see also Pure/pure_setup.ML) *)
fun make_pp path pprint = (path, pprint);
fun install_pp (path, pp) = ();
--- a/src/Pure/ML-Systems/mosml.ML Wed Aug 15 19:24:23 2007 +0200
+++ b/src/Pure/ML-Systems/mosml.ML Wed Aug 15 20:26:57 2007 +0200
@@ -79,7 +79,7 @@
(Meta.printDepth := n div 2;
Meta.printLength := n);
-(*interface for toplevel pretty printers, see also Pure/install_pp.ML*)
+(*interface for toplevel pretty printers, see also Pure/pure_setup.ML*)
(*the documentation refers to an installPP but I couldn't fine it!*)
fun make_pp path pprint = ();
fun install_pp _ = ();
--- a/src/Pure/ML-Systems/polyml.ML Wed Aug 15 19:24:23 2007 +0200
+++ b/src/Pure/ML-Systems/polyml.ML Wed Aug 15 20:26:57 2007 +0200
@@ -70,7 +70,7 @@
fun ml_prompts p1 p2 = (PolyML.Compiler.prompt1 := p1; PolyML.Compiler.prompt2 := p2);
-(* toplevel pretty printing (see also Pure/install_pp.ML) *)
+(* toplevel pretty printing (see also Pure/pure_setup.ML) *)
fun make_pp _ pprint (str, blk, brk, en) _ _ obj =
pprint obj (str, fn ind => blk (ind, false), fn wd => brk (wd, 0),
--- a/src/Pure/ML-Systems/smlnj.ML Wed Aug 15 19:24:23 2007 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML Wed Aug 15 20:26:57 2007 +0200
@@ -88,7 +88,7 @@
fun makestring x = "dummy string for SML New Jersey";
-(* toplevel pretty printing (see also Pure/install_pp.ML) *)
+(* toplevel pretty printing (see also Pure/pure_setup.ML) *)
fun make_pp path pprint =
let