| Tue, 26 Apr 2005 19:52:17 +0200 | wenzelm | eval command line: show results; | changeset | files |
| Tue, 26 Apr 2005 19:51:56 +0200 | wenzelm | no longer need feeder to run normal interactive sessions; | changeset | files |
| Tue, 26 Apr 2005 19:51:28 +0200 | wenzelm | tuned; | changeset | files |