Wed, 15 Mar 2000 18:20:52 +0100 removed Pretty.spc;
wenzelm [Wed, 15 Mar 2000 18:20:52 +0100] rev 8458
removed Pretty.spc;
Wed, 15 Mar 2000 18:19:06 +0100 use Pretty.str / Pretty.raw_str;
wenzelm [Wed, 15 Mar 2000 18:19:06 +0100] rev 8457
use Pretty.str / Pretty.raw_str;
Wed, 15 Mar 2000 18:18:12 +0100 removed lst, strlen, strlen_real, spc, sym;
wenzelm [Wed, 15 Mar 2000 18:18:12 +0100] rev 8456
removed lst, strlen, strlen_real, spc, sym; added chunks, raw_str; pass all strings through Symbol.output (beware: this is done at different times for str and spacing/linebreaks!); speedup formatting (uses Buffer.T); tuned;
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip