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;
Wed, 15 Mar 2000 12:05:03 +0100 made links to homepages absolute, avoids trouble with relative links on the
kleing [Wed, 15 Mar 2000 12:05:03 +0100] rev 8455
made links to homepages absolute, avoids trouble with relative links on the homepages
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip