Hi.
On Wed, 9 Jul 2003, Dr. Vassilis S. Vassiliadis wrote:
> Is it possible to change on-the-fly the string
> names used in a symbol?
Yes. Try the following command
x.set_name("Paul");
if you have declared a symbol like this before
symbol x("Peter");
Bye,
Jens Vollinga