# HG changeset patch
# User wenzelm
# Date 1187202417 -7200
# Node ID 5607b8b752bba3442fd7babdebc62a46a24c87ae
# Parent  bfd59eb6e24e3454ade70b2046a4915d651b6cd6
tuned comments;

diff -r bfd59eb6e24e -r 5607b8b752bb src/Pure/ML-Systems/alice.ML
--- 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) = ();
diff -r bfd59eb6e24e -r 5607b8b752bb src/Pure/ML-Systems/mosml.ML
--- 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 _ = ();
diff -r bfd59eb6e24e -r 5607b8b752bb src/Pure/ML-Systems/polyml.ML
--- 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),
diff -r bfd59eb6e24e -r 5607b8b752bb src/Pure/ML-Systems/smlnj.ML
--- 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