Thank you all. I experimented with the various suggestions you proposed. Saving the session history is indeed easy (savehistory). The problem is the playback. I didn't find a reliable method. Plus, I now realize that the very idea of playing back a saved session is, in general, a bad one, since such a session may have made changes to disk. So I'll go with Rob's idea of working indirectly from a script that I keep re-sources.
Thanks again! Roy ______________________________________________ R-help@r-project.org mailing list https://stat.ethz.ch/mailman/listinfo/r-help PLEASE do read the posting guide http://www.R-project.org/posting-guide.html and provide commented, minimal, self-contained, reproducible code.