>>>>> "TenThumbs" == TenThumbs <tenthumbs@cybernex.net> writes:
TenThumbs> In older maximas Ctrl-D would exit. In 5.9.0rc3 it doesn't. Since Ctrl-D
TenThumbs> is a simple gesture that only requires one hand it would be very nice if
TenThumbs> you would put it back.
My guess is that you're running gcl. I think it's a gcl problem
because when I start just gcl, I can't Ctrl-D to quit. This used to
work in (much) earlier versions of gcl.
Ctrl-D works fine with CMUCL (which normally doesn't let you ctrl-d).
Ray