Wed, 15 Mar 2000 18:29:32 +0100 |
wenzelm |
pr: modes, optional limit;
|
changeset |
files
|
Wed, 15 Mar 2000 18:26:53 +0100 |
wenzelm |
pretty chunks;
|
changeset |
files
|
Wed, 15 Mar 2000 18:25:42 +0100 |
wenzelm |
tuned comment;
|
changeset |
files
|
Wed, 15 Mar 2000 18:24:27 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
Wed, 15 Mar 2000 18:22:39 +0100 |
wenzelm |
added pretty_goals(_marker);
|
changeset |
files
|
Wed, 15 Mar 2000 18:20:52 +0100 |
wenzelm |
removed Pretty.spc;
|
changeset |
files
|
Wed, 15 Mar 2000 18:19:06 +0100 |
wenzelm |
use Pretty.str / Pretty.raw_str;
|
changeset |
files
|
Wed, 15 Mar 2000 18:18:12 +0100 |
wenzelm |
removed lst, strlen, strlen_real, spc, sym;
|
changeset |
files
|
Wed, 15 Mar 2000 12:05:03 +0100 |
kleing |
made links to homepages absolute, avoids trouble with relative links on the
|
changeset |
files
|
Tue, 14 Mar 2000 22:58:59 +0100 |
wenzelm |
'undo' prints state (again);
|
changeset |
files
|
Tue, 14 Mar 2000 22:58:20 +0100 |
wenzelm |
pr, disable_pr, enable_pr;
|
changeset |
files
|
Tue, 14 Mar 2000 22:57:54 +0100 |
wenzelm |
silence undo command;
|
changeset |
files
|