mailing-list for TeXmacs Users

["Philippe Joyez" <address@hidden>]

Hi Shelby,

If you need only the input lines of your session, what Karl suggested is
really the way to go. In the Tools menu, activate the Developers tools, and
then you can export all the sessions of the document to a file (it's not copy-
paste, sorry) using the menu entry "Developers->export sessions...". The only
thing is that this facility was made with scheme sessions in mind, and the
"export sessions..." is greyed out if there are no scheme session in the
document. Just create a blank scheme session!


Philippe

PS With a bit of hacking in scheme it should be possible do this with the
clipboard.