>>>>> "Robert" == Robert Dodier <robert.dodier at gmail.com> writes:
Robert> On 11/13/06, Raymond Toy <raymond.toy at ericsson.com> wrote:
Robert> I'd like to keep the default value of stringdisp as it is now (false).
Robert> Otherwise every print("foo"), which I'm pretty sure is a common use
Robert> of strings in Maxima, is going to yield "foo" instead of foo.
>>
>> Oh, right. That would be bad. I think the solution to this is to
>> bind stringdisp to false in $print. That would take care of that
>> issue, assuming that's what we want $print to do always.
Robert> OK by me to bind stringdisp to false in print,
Robert> and change the default value to true.
This seems to work. I've made the necessary changes everywhere and
will check in this change soon, but I will leave the default as false.
Ray