Mon, 17 Apr 2000 14:12:33 +0200 | wenzelm | * improved name spaces: ambiguous output is qualified; support for | changeset | files |
Mon, 17 Apr 2000 14:10:38 +0200 | wenzelm | improved output of ambiguous entries; | changeset | files |
Mon, 17 Apr 2000 14:10:04 +0200 | wenzelm | Pretty.chunks; | changeset | files |
Mon, 17 Apr 2000 14:08:51 +0200 | wenzelm | 'global' / 'local': comment; | changeset | files |