tuned comments;
authorwenzelm
Wed Aug 15 20:26:57 2007 +0200 (2007-08-15)
changeset 242905607b8b752bb
parent 24289 bfd59eb6e24e
child 24291 fa72aab966dc
tuned comments;
src/Pure/ML-Systems/alice.ML
src/Pure/ML-Systems/mosml.ML
src/Pure/ML-Systems/polyml.ML
src/Pure/ML-Systems/smlnj.ML
     1.1 --- a/src/Pure/ML-Systems/alice.ML	Wed Aug 15 19:24:23 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/alice.ML	Wed Aug 15 20:26:57 2007 +0200
     1.3 @@ -90,7 +90,7 @@
     1.4  fun print x = x;
     1.5  
     1.6  
     1.7 -(* toplevel pretty printing (see also Pure/install_pp.ML) *)
     1.8 +(* toplevel pretty printing (see also Pure/pure_setup.ML) *)
     1.9  
    1.10  fun make_pp path pprint = (path, pprint);
    1.11  fun install_pp (path, pp) = ();
     2.1 --- a/src/Pure/ML-Systems/mosml.ML	Wed Aug 15 19:24:23 2007 +0200
     2.2 +++ b/src/Pure/ML-Systems/mosml.ML	Wed Aug 15 20:26:57 2007 +0200
     2.3 @@ -79,7 +79,7 @@
     2.4   (Meta.printDepth := n div 2;
     2.5    Meta.printLength := n);
     2.6  
     2.7 -(*interface for toplevel pretty printers, see also Pure/install_pp.ML*)
     2.8 +(*interface for toplevel pretty printers, see also Pure/pure_setup.ML*)
     2.9  (*the documentation refers to an installPP but I couldn't fine it!*)
    2.10  fun make_pp path pprint = ();
    2.11  fun install_pp _ = ();
     3.1 --- a/src/Pure/ML-Systems/polyml.ML	Wed Aug 15 19:24:23 2007 +0200
     3.2 +++ b/src/Pure/ML-Systems/polyml.ML	Wed Aug 15 20:26:57 2007 +0200
     3.3 @@ -70,7 +70,7 @@
     3.4  fun ml_prompts p1 p2 = (PolyML.Compiler.prompt1 := p1; PolyML.Compiler.prompt2 := p2);
     3.5  
     3.6  
     3.7 -(* toplevel pretty printing (see also Pure/install_pp.ML) *)
     3.8 +(* toplevel pretty printing (see also Pure/pure_setup.ML) *)
     3.9  
    3.10  fun make_pp _ pprint (str, blk, brk, en) _ _ obj =
    3.11    pprint obj (str, fn ind => blk (ind, false), fn wd => brk (wd, 0),
     4.1 --- a/src/Pure/ML-Systems/smlnj.ML	Wed Aug 15 19:24:23 2007 +0200
     4.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Wed Aug 15 20:26:57 2007 +0200
     4.3 @@ -88,7 +88,7 @@
     4.4  fun makestring x = "dummy string for SML New Jersey";
     4.5  
     4.6  
     4.7 -(* toplevel pretty printing (see also Pure/install_pp.ML) *)
     4.8 +(* toplevel pretty printing (see also Pure/pure_setup.ML) *)
     4.9  
    4.10  fun make_pp path pprint =
    4.11    let