mailing-list for TeXmacs Users

[Karl Hegbloom <address@hidden>]

Look in the menus for optionally enablable tools, enable either debug or developer, I can't recall offhand which one, and look in those menus. I think there's an option for it.

On Sun, Mar 19, 2017, 19:01 Shelby Hui-Jun Chen <address@hidden> wrote:

Dear TeXmacs users:

Is it possible for texmacs to export code which is typed in session as pure txt or any other format which is easy for executing?

Thank you!

Sincerely,

Shelby Chen