changeset 5908 | 79109d4aab60 |
parent 5230 | fdc28193ccf7 |
--- a/src/Pure/Syntax/pretty.ML Tue Nov 17 14:08:12 1998 +0100 +++ b/src/Pure/Syntax/pretty.ML Tue Nov 17 14:08:46 1998 +0100 @@ -29,6 +29,7 @@ val str: string -> T val strlen: string -> int -> T val sym: string -> T + val spc: int -> T val brk: int -> T val fbrk: T val blk: int * T list -> T @@ -150,6 +151,8 @@ fun strlen s len = String (s, len); fun sym s = String (s, Symbol.size s); +fun spc n = str (repstring " " n); + fun brk wd = Break (false, wd); val fbrk = Break (true, 0);