[Date Prev][Date Next][Thread Prev][Thread Next][Author Index][Date Index][Thread Index]

Berts for Users, Denoument

It's really easy to have a switch which says clear the historical
trace when done with the session.  Let's do late binding on this one.
All the issues for the frontend are the same no matter what we choose.