| commit | d0e59fb68d62939477e0f5afb53bd4cc47f8288e | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Nov 22 15:53:32 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Nov 22 15:53:32 2002 +0000 |
| tree | d8328afa1121d888e7ef60fae7e3649aef03a832 | |
| parent | e2ba87396cde5b57259405722910c560f7d237c6 [diff] |
Added the alias manager too. The interface isn't perfect yet: the alias manager doesn't always have the alias as the first argument, so things become functions in stead of methods.